Using Powerdomains to Generalize Relational Databases (1991)

Cached

Download Links

by Peter Buneman , Achim Jung , Atsushi Ohori
Venue:Theoretical Computer Science
Citations:63 - 18 self

Documents Related by Co-Citation

328 Incomplete information in relational databases – T Imielinski, W Lipski - 1984
484 A semantics of multiple inheritance – Luca Cardelli - 1988
754 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
78 A calculus for complex objects – F Bancilhon, S Khoshafian - 1986
121 On The Power Of Languages For The Manipulation Of Complex Objects – Serge Abiteboul, Catriel Beeri - 1993
87 R.Orsini: Galileo: a strongly typed, interactive conceptual language – Antonio Albano, Luca Cardelli, Renzo Orsini - 1985
235 An approach to persistent programming – M P Atkinson, P J Bailey, K J Chisholm, W P Cockshott, R Morrison - 1983
29 Semantic Representations And Query Languages For Or-Sets – Leonid Libkin, Limsoon Wong - 1993
132 Naturally Embedded Query Languages – Val Breazu-tannen, Peter Buneman, Limsoon Wong - 1992
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
265 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
84 Database programming in Machiavelli, a polymorphic language with static type inference – Atsushi Ohori, Peter Buneman, Val Breazu-tannen - 1989
21 Fundamental properties of in trees – Bruno Courcelle - 1983
44 ML With Extended Pattern Matching And Subtypes – Lalita A. Jategaonkar - 1989
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
356 Principal type-schemes for functional programs – L Damas, R Milner - 1982
35 A semantics for complex objects and approximate answers – P Buneman, S Davidson, A Watters
8 The mixed powerdomain. Theoretical Computer Science 103 – C Gunter - 1992