article

Free access

Logic and databases: a critique

Author:

D HarelAuthors Info & Claims

ACM SIGPLAN Notices, Volume 22, Issue 3

Pages 14 - 20

https://doi.org/10.1145/24697.24698

Published: 01 March 1987 Publication History

PDF eReader

References

[1]

[AU] A. V . Aho and J. D. Ullman, Universality of Data Retrieval Languages, Proc. 6th ACM Symp. on Principles of Prog. Lang., San-Antonio, TX, 1979, pp. 110-117.

Digital Library

Google Scholar

[2]

[B] F. Bancilhon, On the Completeness of Query Languages for Relational Databases, Proc. 7th Symp. on Math. Found. of Comput. Sci., Springer LNCS 64, 1978.

Google Scholar

[3]

[C] A. K . Chandra, Programming Primitives for Database Languages, Proc. 8th ACM Symp. on Principles of Prog. Lang., Williamsburg, VA, 1981, pp. 50-62.

Digital Library

Google Scholar

[4]

[CH1] A. K. Chandra and D. Harel, Computable queries for Relational Databases, J. Comput. Syst. Sci. 21, (1980), 156-178.

Crossref

Google Scholar

[5]

[CH2] A. K. Chandra and D. Harel, Structure and Complexity of Relational Queries, J. Comput. System. Sci. 25, (1982), 128.

Crossref

Google Scholar

[6]

[CH3] A. K. Chandra and D. Harel, Horn Clause Queries and Generalizations, J. of Logic Programming 1985:1, (1985), 1-15. (Preliminary version entitled "Horn Clauses and the Fixpoint Query Hierarchy" in Proc. ACM Symp. on Principles of Database Syst., Los Angeles, CA, 1982, pp. 158-163.)

Digital Library

Google Scholar

[7]

[Co] E. C. Cooper, On the Expressive Power of Query Languages for Relational Databases, TR-14-80, Harvard University, 1980.

Google Scholar

[8]

[GMN] H. Gallaire, J. Minker and J.-M. Nicolas, Logic and Databases: A Deductive Approach, Computing Surveys 16, (1984), 154-185.

Digital Library

Google Scholar

[9]

[GM] H. Gallaire and J. Minker (eds.), Logic and Databases, Plenum Press, New York, 1978.

Digital Library

Google Scholar

[10]

[H] D. Harel, Review of [GM], Rev . 36,671, Computing Reviews, August 1980, pp. 367-369.

Google Scholar

[11]

[Ho] D. R. Hofstadter, Godel, Escher, Bach: An Eternal Golden Braid, Basic Books, New York, 1978.

Digital Library

Google Scholar

[12]

[V1] M. Vardi, The Complexity of Relational Query Languages, Proc. 14th ACM Symp. on Theory of Computing, San Francisco, CA, 1982, pp. 137- 146.

Digital Library

Google Scholar

[13]

[V2] M. Vardi, Quering Logical Databases, Proc. 4th ACM Symp. on Principles of Databases Syst., Portland, Oregon, March 1985.

Digital Library

Google Scholar

Cited By

View all

Görz G(2005)Database support for knowledge representation?Information Systems and Artificial Intelligence: Integration Aspects10.1007/3-540-53557-8_21(47-61)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-53557-8_21
Steiner J(1988)Relational theory of queriesData & Knowledge Engineering10.1016/0169-023X(88)90015-83:3(181-196)Online publication date: 1-Nov-1988
https://dl.acm.org/doi/10.1016/0169-023X%2888%2990015-8

Index Terms

Logic and databases: a critique

Recommendations

Logic and Databases: The Roots of Relational Theory
Can naturalism explain consciousness? A critique

The problem of consciousness is one of the most important problems both in cognitive science and in philosophy. There are different philosophers and different scientists who define consciousness and explain it differently. In philosophy, `consciousness' ...
Minimal founded semantics for disjunctive logic programs and deductive databases

In this paper, we propose a variant of stable model semantics for disjunctive logic programming and deductive databases. The semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non-disjunctive) programs, but differs ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 22, Issue 3

March 1987

113 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/24697

Editor:
Richard L Wexelblat

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1987

Published in SIGPLAN Volume 22, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
183
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)7

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Görz G(2005)Database support for knowledge representation?Information Systems and Artificial Intelligence: Integration Aspects10.1007/3-540-53557-8_21(47-61)Online publication date: 4-Jun-2005
https://doi.org/10.1007/3-540-53557-8_21
Steiner J(1988)Relational theory of queriesData & Knowledge Engineering10.1016/0169-023X(88)90015-83:3(181-196)Online publication date: 1-Nov-1988
https://dl.acm.org/doi/10.1016/0169-023X%2888%2990015-8

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Logic and Databases: The Roots of Relational Theory

Can naturalism explain consciousness? A critique

Minimal founded semantics for disjunctive logic programs and deductive databases

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations