| A. Ohori. Orderings and types in databases. In "Advances in Database Programming Languages" (F. Bancilhon and P. Buneman, eds.), ACM Press, 1990, pages 97--116. |
....constant null N is the null object value of type N. The inclusion of the single element domain null N in the domain equation for DOM(N) ensures that there does indeed exist a domain which is the least solution of this equation [24] We note that similar domain equations are employed by Ohori [18] in the definition of semantic domains for sets of objects, with the important difference that we include the domain of object identifiers ID in our equations. The remaining definitions of Section 2, and the definitions in Sections 3, 4 and 5 remain the same. With regards to the types of VFDs ....
OHORI A., 1987. Ordering and Types in Databases. Proceedings of the Workshop on Database Programming Languages, pp. 149-163.
.... to representing partial information in databases that treats objects as elements of partially ordered sets, where the meaning of the order is being more informative , has proved to be very useful for analyzing incompleteness of information in the relational database model and its extensions [3, 5, 9, 12]. In particular, it has allowed a number of powerful tools from denotational semantics of programming languages to be used to analyze the phenomenon of incomplete information [1, 4, 7, 8] All these papers deal with set based databases. However, real database systems frequently use bags (also ....
A. Ohori. Orderings and types in databases. In "Advances in Database Programming Languages" (F. Bancilhon and P. Buneman, eds.), ACM Press, 1990, pages 97--116.
....is provided by the relation , meaning is an ancestor of . For figure 4 this leads to: and . The inheritance relation is both transitive and irreflexive. ISU3] transitive) ISU4] irreflexive) Similar axioms can be found as properties in literature about typing theory for databases ( BW90] Oho90] and [CW85] The difference, between these properties and ours, lies in the abstraction of an underlying structure of object types and their instances. As we do not make any assumption on these structures, such properties must be stated as axioms. Another reason is that the inheritance hierarchy ....
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990.
....For figure 5 this leads to: and . The identification hierarchy corresponding to figure 9 is: The identification hierarchy is both transitive and irreflexive. ISU4] irreflexive) ISU5] transitive) Similar axioms can be found as properties in literature about typing theory for databases ( 8] [37] and [10] The difference between these properties and ours lies in the abstraction of an underlying structure of object types and their instances. As we do not make any assumption on these structures, such properties must be stated as axioms. Another reason is that the inheritance hierarchy is ....
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990.
.... to representation of partial information in databases that treats objects as elements of partially ordered sets, where the meaning of the order is being more informative, has proved to be very useful for analyzing incompleteness of information in the relational database model and its extensions [3, 5, 8, 11]. In particular, it has allowed a number of powerful tools from denotational semantics of programming languages to be used to analyze the phenomenon of incomplete information [1, 4, 6, 7] All of these papers deal with set based databases. However, real database systems frequently use multisets ....
A. Ohori. Orderings and types in databases. In "Advances in Database Programming Languages" (F. Bancilhon and P. Buneman, eds.), ACM Press, 1990, pages 97--116.
No context found.
A. Ohori. Orderings and Types in Databases. In Workshop on Database Programming Languages, pages 149--163, Roscoff, France, September 1987.
No context found.
A. Ohori. Orderings and types in databases. In "Advances in Database Programming Languages" (F. Bancilhon and P. Buneman, eds.), ACM Press, 1990, pages 97--116.
No context found.
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990. 36
No context found.
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990. 36
No context found.
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990.
No context found.
A. Ohori. Orderings and Types in Databases. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, ACM Press, Frontier Series, pages 97--116. Addison-Wesley, Reading, Massachusetts, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC