New Data Models and Languages - the Challenge.

@inproceedings{DBLP:conf/pods/Beeri92,
  author    = {Catriel Beeri},
  title     = {New Data Models and Languages - the Challenge},
  booktitle = {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, June 2-4, 1992, San Diego,
               California},
  publisher = {ACM Press},
  year      = {1992},
  isbn      = {0-89791-519-4},
  pages     = {1-15},
  ee        = {http://doi.acm.org/10.1145/137097.137101, db/conf/pods/Beeri92.html},
  crossref  = {DBLP:conf/pods/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1992 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)

[2]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247

[3]

Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)

[4]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173

[5]

Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27

[6]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240

[7]

Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder: Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250

[8]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162

[9]

Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382(1990)

[10]

Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14(2): 8-12(1991)

[11]

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(1/2/3&4): 181-232(1991)

[12]

Catriel Beeri, Tova Milo: Subtyping in OODB's. PODS 1991: 300-314

[13]

Catriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190

[14]

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104

[15]

Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75

[16]

Val Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237

[17]

Val Tannen, Peter Buneman, Shamim A. Naqvi: Structural Recursion as a Query Language. DBPL 1991: 9-19

[18]

Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166

[19]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329

[20]

...

[21]

Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas: Concepts of Object-Orientation. IS/KI 1992: 1-19

[22]

Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. J. Comput. Syst. Sci. 43(1): 219-267(1991)

[23]

Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340

[24]

Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52

[25]

Samuel N. Kamin: Final Data Types and Their Specification. ACM Trans. Program. Lang. Syst. 5(1): 97-123(1983)

[26]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313

[27]

Won Kim: Research Directions in Object-Oriented Database Systems. PODS 1990: 1-15

[28]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393

[29]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146

[30]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96

[31]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20

[32]

Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988: 10-14

[33]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57

[34]

Joel E. Richardson, Peter M. Schwarz: Aspects: Extending Objects to Support Multiple, Independent Roles. SIGMOD Conference 1991: 298-307

[35]

Marc H. Scholl, Christian Laasch, Markus Tresch: Updatable Views in Object-Oriented Databases. DOOD 1991: 189-207

[36]

Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986)

[37]

Marc H. Scholl, Hans-Jörg Schek: A Synthesis of Complex Objects and Object-Orientation. DS-4 1990: 349-371

[38]

David W. Stemple, Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332

[39]

Scott L. Vandenberg, David J. DeWitt: Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance. SIGMOD Conference 1991: 158-167

[40]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991)

[41]

...

[42]

...

Referenced by

1. Xiaolei Qian: Correct Schema Transformations. EDBT 1996: 114-128
2. José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
3. Catriel Beeri, Tova Milo: On the Power of Algebras with Recursion. SIGMOD Conference 1993: 377-386
4. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
5. Anthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337
6. Markus Tresch, Marc H. Scholl: Meta Object Management and its Application to Database Evolution. ER 1992: 299-321