| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 2088345 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086314 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1947693 (Why is no real title available?) | 2003-07-09 | Paper |
Inheritance hierarchy design in object-oriented databases
Data & Knowledge Engineering | 2002-07-29 | Paper |
Comparison of functional and predicative query paradigms
Journal of Computer and System Sciences | 1997-03-18 | Paper |
Subtyping in OODBs
Journal of Computer and System Sciences | 1995-12-03 | Paper |
A logical query language for hypermedia systems
Information Sciences | 1994-07-26 | Paper |
Algebraic optimization of object-oriented query languages
Theoretical Computer Science | 1993-12-06 | Paper |
Bounds in the propagation of selection into logic programs
Journal of Computer and System Sciences | 1992-06-25 | Paper |
On the power of magic
The Journal of Logic Programming | 1991-01-01 | Paper |
Set constructors in a logic database language
The Journal of Logic Programming | 1991-01-01 | Paper |
A model for concurrency in nested transactions systems
Journal of the ACM | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4064542 (Why is no real title available?) | 1988-01-01 | Paper |
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems | 1986-01-01 | Paper |
Formal systems for join dependencies
Theoretical Computer Science | 1985-01-01 | Paper |
A Proof Procedure for Data Dependencies
Journal of the ACM | 1984-01-01 | Paper |
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM | 1984-01-01 | Paper |
Formal Systems for Tuple and Equality Generating Dependencies
SIAM Journal on Computing | 1984-01-01 | Paper |
On acyclic database decompositions
Information and Control | 1984-01-01 | Paper |
On the Desirability of Acyclic Database Schemes
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3723857 (Why is no real title available?) | 1981-01-01 | Paper |
Equivalence of Relational Database Schemes
SIAM Journal on Computing | 1981-01-01 | Paper |
Preserving Functional Dependencies
SIAM Journal on Computing | 1981-01-01 | Paper |
On the menbership problem for functional and multivalued dependencies in relational databases
ACM Transactions on Database Systems | 1980-01-01 | Paper |
An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
Theoretical Computer Science | 1977-01-01 | Paper |
Two-way nested stack automata are equivalent to two-way stack automata
Journal of Computer and System Sciences | 1975-01-01 | Paper |
