XP1 Workshop on Database Theory

Keyphrases

Publications

1980

Jack Heller
The Abstract Data Types Used in the GRIPHOS Database System. XP1 Workshop on Database Theory (1980)
David Maier
Discarding the Universal Instance Assumption: Preliminary Results. XP1 Workshop on Database Theory (1980)
Ashok K. Chandra, David Harel
Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory (1980)
Jeffrey D. Ullman
Universal Instances. XP1 Workshop on Database Theory (1980)
Yannis Vassiliou
Testing Satisfaction of FDs on a Multi-Relation Database "fast". XP1 Workshop on Database Theory (1980)
Edward Sciore
Some Observations on Real-World Data Dependencies. XP1 Workshop on Database Theory (1980)
Title, Foreword. XP1 Workshop on Database Theory (1980)
Henry F. Korth, Jeffrey D. Ullman
System/U: A Database System Based on the Universal Relation Assumption. XP1 Workshop on Database Theory (1980)
XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA XP1 Workshop on Database Theory (1980)
Marc H. Graham
A New Proof that the Chase is a Church-Rosser Replacement System. XP1 Workshop on Database Theory (1980)
Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky
Embedded Implicational Dependencies and their Inference Problem. XP1 Workshop on Database Theory (1980)
Adrian Walker
Time and Space in a Lattice of Universal Relations with Blank Entries. XP1 Workshop on Database Theory (1980)
Catriel Beeri, Moshe Y. Vardi
Decision Problems for Data Dependencies. XP1 Workshop on Database Theory (1980)
Peter Honeyman
Losslessly Joining Relations in Polynomial Time. XP1 Workshop on Database Theory (1980)
Peter Honeyman
Testing Satisfaction of Functional Dependencies. XP1 Workshop on Database Theory (1980)
Barry E. Jacobs
A Generalized Algebraic Data Manipulation Language and the Automatic Conversion of its Programs. XP1 Workshop on Database Theory (1980)