The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Robert A. Di Paola: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16(2): 324-327(1969)
  author    = {Robert A. Di Paola},
  title     = {The Recursive Unsolvability of the Decision Problem for the Class
               of Definite Formulas},
  journal   = {J. ACM},
  volume    = {16},
  number    = {2},
  year      = {1969},
  pages     = {324-327},
  ee        = {db/journals/jacm/Paola69a.html,},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition

Citation Page BibTeX

Referenced by

  1. Damianos Chatziantoniou, Kenneth A. Ross: Groupwise Processing of Relational Queries. VLDB 1997: 476-485
  2. Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)
  3. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
  4. Alexei P. Stolboushkin, Michael A. Taitslin: Finite Queries do not Have Effective Syntax. PODS 1995: 277-285
  5. Joonyeoub Sung, Lawrence J. Henschen: A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. ICDE 1995: 475-484
  6. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
  7. Aaron Watters: Interpreting a Reconstructed Relational Calculus (Extended Abstract). SIGMOD Conference 1993: 367-376
  8. Kenneth A. Ross: Relations with Relation Names as Arguments: Algebra and Calculus. PODS 1992: 346-353
  9. Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991)
  10. Kenneth A. Ross: On Negation in HiLog. PODS 1991: 206-215
  11. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
  12. François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50
  13. François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116
  14. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
  15. Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz: An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988: 52-60
  16. Liz Sonenberg, Rodney W. Topor: On Domain Independent Disjunctive Databases. ICDT 1988: 281-291
  17. Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40
  18. Jeffrey D. Ullman: Database Theory: Past and Future. PODS 1987: 1-10
  19. Allen Van Gelder, Rodney W. Topor: Safety and Correct Translation of Relational Calculus Formulas. PODS 1987: 313-327
  20. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
  21. Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259

Copyright © Sun May 17 00:05:18 2009 by Michael Ley (