The following pages link to Catriel Beeri (Q676416):
Displaying 27 items.
- Comparison of functional and predicative query paradigms (Q676417) (← links)
- Algebraic optimization of object-oriented query languages (Q688667) (← links)
- Formal systems for join dependencies (Q1071524) (← links)
- (Q1227451) (redirect page) (← links)
- Two-way nested stack automata are equivalent to two-way stack automata (Q1227452) (← links)
- An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines (Q1239606) (← links)
- A logical query language for hypermedia systems (Q1328531) (← links)
- Bounds in the propagation of selection into logic programs (Q1813949) (← links)
- Subtyping in OODBs (Q1900928) (← links)
- On the Desirability of Acyclic Database Schemes (Q3026382) (← links)
- (Q3044473) (← links)
- On the power of magic (Q3210147) (← links)
- Set constructors in a logic database language (Q3212263) (← links)
- Formal Systems for Tuple and Equality Generating Dependencies (Q3334109) (← links)
- On acyclic database decompositions (Q3735098) (← links)
- An integrated approach to logical design of relational database schemes (Q3742765) (← links)
- On the Structure of Armstrong Relations for Functional Dependencies (Q3766891) (← links)
- A Proof Procedure for Data Dependencies (Q3770004) (← links)
- (Q3798298) (← links)
- A model for concurrency in nested transactions systems (Q3835055) (← links)
- On the menbership problem for functional and multivalued dependencies in relational databases (Q3883572) (← links)
- (Q3912018) (← links)
- Preserving Functional Dependencies (Q3912078) (← links)
- Equivalence of Relational Database Schemes (Q3925900) (← links)
- (Q4411634) (← links)
- Inheritance hierarchy design in object-oriented databases (Q4541421) (← links)
- (Q4739543) (← links)
