- Ar.Artistotle Ethics bk. X, ch. 7; Metaphysics ch. 2.Google Scholar
- As.Astrahan, M. M., et al. "System R: A relational approach to data management," ACM Transactions on Database Systems, 1, 2, pp. 97-137, 1976. Google ScholarDigital Library
- BHG.Bernstein, P., V. Hadzilacos, and N. Goodman Concurrency control and recovery in database systems, Addison-Wesley, 1987. Google ScholarDigital Library
- BCN.Batini, Carlo, Stefano Ceri, and Shamkant Navathe Conceptual database design: an entity-relationship approach Benjamin Cummings, 1992. Google ScholarDigital Library
- BDK.Ba.ncilhon, Francois, Claude Delobel, and Paris C. Kanellakis Building an object-oriented database system: the story of 02, Morgan Kaufman, 1992.Google Scholar
- BPT.Buss, S., C. H. Papadimitriou, J. N. Tsitsiklis "On the predictability of coupled finite automata: an allegory on chaos," Proc. 31st FOCS Conference, pp. 788-793, 1990. Also, to appear in Complex Systems.Google Scholar
- Co1.Codd, E. F., "A relational model for large shared data banks," C.ACM, 13, 6, pp. 377-387, 1970. Google ScholarDigital Library
- Co2.Codd, E. F., "Relational completeness of data base sublanguages," in Data Base Systems (R. Rustin, ed.), pp. 65-98, Prectice-tiall, 1972.Google Scholar
- Cook.Cook, S. A., "The complexity of theorem-proving procedures," Proc. 3rd FOCS, pp. 151-158, 1971. Google ScholarDigital Library
- DBTG.CODASYL Data Base Task Group April 1971 Report, ACM, 1971.Google Scholar
- ER.Erd6s, P., and A. R6nyi "On the evolution of random graphs," Magyar Tud. Akad. Mat. Kut. Int. K3zl, 5, pp. 17-61, 1960.Google Scholar
- Fa.Fagin, R., "Generalized first-order spectra and polynomial-time recognizable sets," in Complexity of Computation, R. M. Karp (editor), SIAM-AMS Proceedings vol. 7, pp. 43-73 1974.Google Scholar
- Fer.Ferr6, Frederick Philosophy of technology, Prentice Hall, 1988.Google Scholar
- Fe.Feyerabend, Paul Aga,nst method, Verso, 1993 (third edition).Google Scholar
- GR.Gray, J., and A. Reuter Transaction processing: concepts and techniques, Morgan Kaufman, 1993. Google ScholarDigital Library
- Ka.Karp, R. M., "Mapping the genome: Some combinatorial problems arising in molecular biology," Proc. 25th STOC Conference, pp. 278-285, 1993. Google ScholarDigital Library
- Ki.Kitcher, Philip, "The division of cognitive labor (conflicts between individual and collective rationality in science)," J. of Philosophy, 87, 1, pp. 1-18, 1990.Google Scholar
- Kn.Knuth, Donald E., "Theory and practice," EATCS Bulletin, 27, pp. 14-21, Oct. 1985. See also Theoretzcal Computer Sczence, 90, 1, pp. 1-15, Nov. 1991. Google ScholarDigital Library
- Ku.Kuhn, Thomas S, The structure of scientific revolutions, The University of Chicago Press, 1962.Google Scholar
- La.Lakatos, imre, Mathematics, science, and epistemology, Cambridge University Press, 1978.Google Scholar
- LB.Lekkerkerker, C. B., and J. Boland "Representation of a finite graph by a set of intervals on the real line," Fund. Math, 51, pp. 45-64, 1962.Google ScholarCross Ref
- Pa1.Papadimitriou, Christos H., The theory of database concurrency control, Computer Science Press, 1986. Google ScholarDigital Library
- Pa2.Papadimitriou, Christos H., Computational complexity, Addison-Wesley, 1994.Google Scholar
- PY.Papadimitriou, C. H., and M. Yannakakis "Complexity as bounded rationality, Proc. 26th STOC Conference, pp. 726-733, #994. Google ScholarDigital Library
- Ra1.Ramakrishnan, Raghu (editor), Aplications of logic programming, Kluwer Academic Publishers, 1995. Google ScholarDigital Library
- Ra2.Ramakrishnan, Raghu, private e-mail communication to Moshe Vardi, September 1994.Google Scholar
- Sig.Sigmund, Karl, Games of life: explorations in ecology, evolution, and behaviour, Oxford University Press, 1993. Google ScholarDigital Library
- Si.Simon, Herbert, The sciences of the artificial, MIT Press, 1981 (second edition). Google ScholarDigital Library
- SWKH.Stonebreaker, M., E. Wong, P. Kreps, and G. Held "The design and implementation of INGRES," A CM Transactions on Database Systems, 1, 3, pp. 189-222, 1976. Google ScholarDigital Library
- Ul1.Ullman, Jeffrey, Principles of database systems, Computer Science Press, 1982 (second edition). Google ScholarDigital Library
- Ul2.Ullman, Jeffrey, "The role of theory today," manuscript, 1994.Google Scholar
Index Terms
- Database metatheory: asking the big queries
Recommendations
Mechanizing the metatheory of LF
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as proofs of correctness of decision procedures for LF's judgments. Although ...
Mechanizing metatheory in a logical framework
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this methodology, the syntactic and deductive apparatus of a system is encoded as the ...
Mechanizing the Metatheory of LF
LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer ScienceLF is a dependent type theory in which many other formal systems canbe conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as proofs of correctness of decision procedures for LF's judgments. Although ...
Comments