3319 search results - page 97 / 664 » Type Theoretical Databases |
DLOG
2010
14 years 8 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
ICALP
1990
Springer
15 years 1 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
DEXA
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we present a uniform approach to dynamic relationships in object oriented databases. We present our relationship categorisation based on dividing the object database ...
102
click to vote
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
INFOSCALE
2007
ACM
14 years 11 months ago
2007
ACM
A flexible mandatory access control policy (MAC) for XML databases is presented in this paper. The label type and label access policy can be defined according to the requirements ...