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 1, March 1996

Modularization techniques for active rules design
Elena Baralis, Stefano Ceri, Stefano Paraboschi
Pages: 1-29
DOI: 10.1145/227604.227605
Active database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded in application programs can be abstracted and assigned to active rules. This trend is...

Polymorphism and type inference in database programming
Peter Buneman, Atsushi Ohori
Pages: 30-76
DOI: 10.1145/227604.227609
In order to find a static type system that adequately supports database languages, we need to express the most general type of a program that involves database operations. This can be achieved through an extension to the type system of ML that...

A normal form for precisely characterizing redundancy in nested relations
Wai Yin Mok, Yiu-Kai Ng, David W. Embley
Pages: 77-106
DOI: 10.1145/227604.227612
We give a straightforward definition for redundancy in individual nested relations and define a new normal form that precisely characterizes redundancy for nested relations. We base our definition of redundancy on an arbitrary set of functional...

Magic conditions
Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan
Pages: 107-155
DOI: 10.1145/227604.227624
Much recent work has focused on the bottom-up evaluation of Datalog programs [Bancilhon and Ramakrishnan 1988]. One approach, called magic-sets, is based on rewriting a logic program so that bottom-up fixpoint evaluation of the program avoids...