ACM DL

Database Systems (TODS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Database Systems (TODS), Volume 21 Issue 2, June 1996

The building blocks for specifying communication behavior of complex objects: an activity-driven approach
Ling Liu, Robert Meersman
Pages: 157-207
DOI: 10.1145/232616.232622
Communication behavior represents dynamic evolution and cooperation of a group of objects in accomplishing a task. It is an important feature in object-oriented systems. We propose the concept of activity as a basic building block for...

Tail recursion elimination in deductive databases
Kenneth A. Ross
Pages: 208-237
DOI: 10.1145/232616.232628
We consider an optimization technique for deductive and relational databases. The optimization technique is an extension of the magic templates rewriting, and it can improve the performance of query evaluation by not materializing the extension...

Implementing deductive databases by mixed integer programming
Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian
Pages: 238-269
DOI: 10.1145/232616.232691
Existing and past generations of Prolog compilers have left deduction to run-time and this may account for the poor run-time performance of existing Prolog systems. Our work tries to minimize run-time deduction by shifting the deductive process...

Solving satisfiability and implication problems in database systems
Sha Guo, Wei Sun, Mark A. Weiss
Pages: 270-293
DOI: 10.1145/232616.232692
Satisfiability, implication, and equivalence problems involving conjunctive inequalities are important and widely encountered database problems that need to be efficiently and effectively processed. In this article we consider two popular types...