Principles of Database Systems

, , &
Journal of Symbolic Logic 51 (4):1079-1084 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273929

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Jeffrey D. Ullman, Principles of Database Systems; David Maier, The Theory of Relational Databases; Ashok K. Chandra, David Harel, Computable Queries for Relational Data Bases. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 , pp. 156–178. [REVIEW]J. A. Makowsky - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.
Alfred V. Aho and Jeffrey D. Ullman. The theory of languages. Mathematical systems theory, vol. 2 , pp. 97–125.Seymour Ginsburg - 1971 - Journal of Symbolic Logic 36 (1):152-153.
Review: Alfred V. Aho, Jeffrey D. Ullman, The Theory of Languages. [REVIEW]Seymour Ginsburg - 1971 - Journal of Symbolic Logic 36 (1):152-153.
Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Review: David Harel, First-Order Dynamic Logic. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Review: John E. Hopcroft, Jeffrey D. Ullman, Relations between Time and Tape Complexities. [REVIEW]Jiri Becvar - 1973 - Journal of Symbolic Logic 38 (2):343-343.
Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
David Maier and David S. Warren. Computing with logic. Logic programming with Prolog. The Benjamin/Cummings Publishing Company, Menlo Park, Calif., etc., 1988, xxi + 535 pp. [REVIEW]J. C. Shepherdson - 1991 - Journal of Symbolic Logic 56 (4):1495.

Analytics

Added to PP
2015-02-05

Downloads
32 (#488,566)

6 months
5 (#837,836)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Maier
Columbia University

Citations of this work

Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
Functional dependencies, supervenience, and consequence relations.I. L. Humberstone - 1993 - Journal of Logic, Language and Information 2 (4):309-336.

Add more citations

References found in this work

No references found.

Add more references