ACTA
2002
14 years 10 days ago
2002
ACTA
2002
14 years 10 days ago
2002
In the constraint database community, FO+poly and FO+linear have been proposed as foundations for spatial database query languages. One of the strengths of this approach is that t...
ACTA
2002
14 years 10 days ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
ACTA
2002
14 years 10 days ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
ACTA
2002
14 years 10 days ago
2002
ACTA
2002
14 years 10 days ago
2002
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...