Languages for relational databases over interpreted structures
- 1 May 1997
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Query Languages for Bags and Aggregate FunctionsJournal of Computer and System Sciences, 1997
- Counting Quantifiers, Successor Relations, and Logarithmic SpaceJournal of Computer and System Sciences, 1997
- First-order queries on databases embedded in an infinite structureInformation Processing Letters, 1996
- Domain independence and the relational calculusActa Informatica, 1994
- Infinitary logics and 0–1 lawsInformation and Computation, 1992
- On the expressive power of database queries with intermediate typesJournal of Computer and System Sciences, 1991
- On uniformity within NC1Journal of Computer and System Sciences, 1990
- 0–1 Laws and decision problems for fragments of second-order logicInformation and Computation, 1990
- Definable sets in ordered structures. IIITransactions of the American Mathematical Society, 1988
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986