ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Querying logical databases
Full text PdfPdf (847 KB)
Source Symposium on Principles of Database Systems archive
Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems table of contents
Portland, Oregon, United States
Pages: 57 - 65  
Year of Publication: 1985
ISBN:0-89791-153-9
Author
Moshe Y. Vardi
Sponsors
SIGMOD: ACM Special Interest Group on Management of Data
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 4,   Citation Count: 13
Additional Information:

cited by   collaborative colleagues  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/325405.325413
What is a DOI?

CITED BY  13
Marianne Winslett Wilkins, A model-theoretic approach to updating logical databases, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.224-234, March 24-26, 1986, Cambridge, Massachusetts, United States
L. Y. Yuan , D.-A. Chiang, A sound and complete query evaluation algorithm for relational databases with disjunctive information, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.66-74, March 1989, Philadelphia, Pennsylvania, United States
Li Yan Yuan , Ding-An Chiang, A sound and complete query evaluation algorithm for relational databases with null values, ACM SIGMOD Record, v.17 n.3, p.74-81, June 1988
Raymond Reiter, A sound and sometimes complete query evaluation algorithm for relational databases with null values, Journal of the ACM (JACM), v.33 n.2, p.349-370, April 1986
D Harel, Logic and databases: a critique, ACM SIGACT News, v.18 n.1, p.68-74, Summer 1986
D Harel, Logic and databases: a critique, ACM SIGPLAN Notices, v.22 n.3, p.14-20, March 1987
Serge Abiteboul , Paris Kanellakis , Gosta Grahne, On the representation and querying of sets of possible worlds, ACM SIGMOD Record, v.16 n.3, p.34-48, Dec. 1987
 
Serge Abiteboul , Gösta Grahne, Update semantics for incomplete databases, Proceedings of the 11th international conference on Very Large Data Bases, p.1-12, August 21-23, 1985, Stockholm, Sweden
Q. Kong , G. Chen, On deductive databases with incomplete information, ACM Transactions on Information Systems (TOIS), v.13 n.3, p.354-370, July 1995
Moshe Vardi, On the integrity of databases with incomplete information, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.252-266, March 24-26, 1986, Cambridge, Massachusetts, United States
 
Giuseppe De Giacomo , Hector Levesque, Two approaches to efficient open-world reasoning, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
Laks V. S. Lakshmanan , Nicola Leone , Robert Ross , V. S. Subrahmanian, ProbView: a flexible probabilistic database system, ACM Transactions on Database Systems (TODS), v.22 n.3, p.419-469, Sept. 1997
 
Omar Benjelloun , Anish Das Sarma , Alon Halevy , Jennifer Widom, ULDBs: databases with uncertainty and lineage, Proceedings of the 32nd international conference on Very large data bases, September 12-15, 2006, Seoul, Korea
Collaborative Colleagues:
Moshe Y. Vardi: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2008 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player