PODS '91- Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Full Citation in the ACM Digital Library

Tools for Datalog boundedness

• Gerd G. Hillebrand
• Paris C. Kanellakis
• Harry G. Mairson
• Moshe Y. Vardi

On Datalog vs. polynomial time (extended abstract)

• Foto Afrati
• Stavros S. Cosmadakis
• Mihalis Yannakakis

On the power of rule-based languages with sets

• Kumar Vadaparty

The expressiveness of a family of finite set languages

• Neil Immerman
• Sushant Patnaik
• David Stemple

Non-deterministic queue operations

• Hector Garcia-Molina
• Kenneth Salem

Bounded ignorance in replicated systems

• Narayanan Krishnakumar
• Arthur J. Bernstein

A tight upper bound on the benefits of replication and consistency control protocols

• Donald B. Johnson
• Larry Raab

Modeling hot spots in database systems (extended abstract)

• Wei-hsing Wang
• Meichun Hsu
• Eugene Pinsky

Modular acyclicity and tail recursion in logic programs

• Kenneth A. Ross

Structural query optimization—a uniform framework for semantic query optimization in deductive databases

• Laks V. S. Lakshmanan
• Héctor J. Hernández

Detecting redundant tuples during query evaluation

• Surajit Chaudhuri

Overbound and right-linear queries

• Inderpal Singh Mumick
• Hamid Pirahesh

Deductive databases in action

• Shalom Tsur

Minimum and maximum predicates in logic programming

• Sumit Ganguly
• Sergio Greco
• Carlo Zaniolo

Performance analysis of file organizations that use multi-bucket data leaves with partial expansions (extended abstract)

• Gabriel Matsliach

Constraint-based query optimization for spatial databases

• Richard Helm
• Kim Marriott
• Martin Odersky

Uncoupling updating and rebalancing in chromatic binary search trees

• Otto Nurmi
• Eljas Soisalon-Soininen

Mixed-approach algorithms for transitive closure (extended abstract)

• Håkan Jakobsson

On negation in HiLog (extended abstract)

• Kenneth A. Ross

Termination detection in logic programs using argument sizes (extended abstract)

• Kirack Sohn
• Allen Van Gelder

Inference of inequality constraints in logic programs (extended abstracts)

• Alexander Brodsky
• Yehoshua Sagiv

Parallelizing Datalog programs by generalized pivoting

• Jürgen Seib
• Georg Lausen

Suppressing marginal cells to protect sensitive information in a two-dimensional statistical table (extended abstract)

• F. M. Malvestuto
• M. Moscarini
• M. Rafanelli

Semantic complexity of classes of relational queries and query independent data partitioning

• Shaibal Roy

On the expected size of recursive Datalog queries

• S. Seshadri
• Jeffrey F. Naughton

On the representation of infinite temporal data and queries (extended abstract)

• Marianne Baudinet
• Marc Niézette
• Pierre Wolper

The expressive power structured values in pure OODB's (extended abstract)

• Jan Van den Bussche
• Jan Paredaens

Subtyping in OODB's (extended abstract)

• Catriel Beeri
• Tova Milo

Tractable query languages for complex object databases

• Stéphane Grumbach
• Victor Vianu

On the equivalence of database restructurings involving object identifiers (extended abstract)

• Richard Hull
• Masatoshi Yoshikawa