2956 search results - page 49 / 592 » Databases and Higher Types |
143
click to vote
DEBU
1999
15 years 5 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
160
click to vote
OOPSLA
1989
Springer
15 years 10 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
178
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
154
click to vote
ICDT
2007
ACM
16 years 3 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
183
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...