On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations.

@inproceedings{DBLP:conf/icdt/Cabibbo95,
  author    = {Luca Cabibbo},
  editor    = {Georg Gottlob and
               Moshe Y. Vardi},
  title     = {On the Power of Stratified Logic Programs with Value Invention
               for Expressing Database Transformations},
  booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague,
               Czech Republic, January 11-13, 1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {893},
  year      = {1995},
  isbn      = {3-540-58907-4},
  pages     = {208-221},
  ee        = {db/conf/icdt/Cabibbo95.html},
  crossref  = {DBLP:conf/icdt/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-2 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, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[2]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX

[3]

Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis: On Datalog vs. Polynomial Time. PODS 1991: 13-25 BibTeX

[4]

Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574 BibTeX

[5]

Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca: IsaLog: A declarative language for complex objects with hierarchies. ICDE 1993: 219-228 BibTeX

[6]

...

[7]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[8]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[9]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[10]

Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Graph-Oriented Object Database Model. PODS 1990: 417-424 BibTeX

[11]

Richard Hull, Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47(1): 121-156(1993) BibTeX

[12]

Richard Hull, Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. J. Log. Program. 35(3): 231-261(1998) BibTeX

[13]

Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468 BibTeX

[14]

Phokion G. Kolaitis: The Expressive Power of Stratified Programs. Inf. Comput. 90(1): 50-66(1991) BibTeX

[15]

...

[16]

Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens: On the Completeness of Object-Creating Query Languages (Extended Abstract). FOCS 1992: 372-379 BibTeX

Referenced by

1. Ti-Pin Chang, Richard Hull: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. PODS 1995: 196-207