A Deductive Object-Oriented Approach to Information System Modeling.

@inproceedings{DBLP:conf/adbis/MatskinH95,
  author    = {Mihhail Matskin and
               Hele-Mai Haav},
  editor    = {Johann Eder and
               Leonid A. Kalinichenko},
  title     = {A Deductive Object-Oriented Approach to Information System Modeling},
  booktitle = {Advances in Databases and Information Systems, Proceedings of
               the Second International Workshop on Advances in Databases and
               Information Systems (ADBIS'95), Moscow, 27-30 June 1995},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76014-8},
  pages     = {459-478},
  ee        = {db/conf/adbis/MatskinH95.html},
  crossref  = {DBLP:conf/adbis/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 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
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41 BibTeX

[2]

Elisa Bertino, Giovanna Guerrini, Danilo Montesi: Deductive Object Databases. ECOOP 1994: 213-235 BibTeX

[3]

François Bry: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowl. Eng. 5: 289-312(1990) BibTeX

[4]

Mokrane Bouzeghoub, Elisabeth Métais: Semantic Modeling of Object Oriented Databases. VLDB 1991: 3-14 BibTeX

[5]

Rod M. Burstall, John Darlington: A Transformation System for Developing Recursive Programs. J. ACM 24(1): 44-67(1977) BibTeX

[6]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[7]

Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992) BibTeX

[8]

...

[9]

Hele-Mai Haav: A Meta-language for Specification of Evolving Class and Object Lattices in OODB. East/West Database Workshop 1994: 147-158 BibTeX

[10]

...

[11]

Manfred A. Jeusfeld, Matthias Jarke: From Relational to Object-Oriented Integrity Simplification. DOOD 1991: 460-477 BibTeX

[12]

Michael Kifer, James Wu: A Logic Programming with Complex Objects. J. Comput. Syst. Sci. 47(1): 77-120(1993) BibTeX

[13]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[14]

Henryk Jan Komorowski: A Prolegomenon to Partial Deduction. Fundam. Inform. 18: 41-64(1993) BibTeX

[15]

...

[16]

Guy M. Lohman, Bruce G. Lindsay, Hamid Pirahesh, K. Bernhard Schiefer: Extensions to Starburst: Objects, Types, Functions, and Rules. Commun. ACM 34(10): 94-109(1991) BibTeX

[17]

...

[18]

...

[19]

Ilias Petrounias, Pericles Loucopoulos: A Rule-Based Approach for the Design and Implementation of Information Systems. EDBT 1994: 159-172 BibTeX

[20]

...

[21]

Michael Stonebraker, Greg Kemnitz: The Postgres Next Generation Database Management System. Commun. ACM 34(10): 78-92(1991) BibTeX