Catriel Beeri

Available identifiers

zbMath Open beeri.catrielMaRDI QIDQ676416

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4739543	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044473	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411634	2003-07-09	Paper
Inheritance hierarchy design in object-oriented databases	2002-07-29	Paper
Comparison of functional and predicative query paradigms	1997-03-18	Paper
Subtyping in OODBs	1995-12-03	Paper
A logical query language for hypermedia systems	1994-07-26	Paper
Algebraic optimization of object-oriented query languages	1993-12-06	Paper
Bounds in the propagation of selection into logic programs	1992-06-25	Paper
On the power of magic	1991-01-01	Paper
Set constructors in a logic database language	1991-01-01	Paper
A model for concurrency in nested transactions systems	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798298	1988-01-01	Paper
An integrated approach to logical design of relational database schemes	1986-01-01	Paper
Formal systems for join dependencies	1985-01-01	Paper
A Proof Procedure for Data Dependencies	1984-01-01	Paper
On the Structure of Armstrong Relations for Functional Dependencies	1984-01-01	Paper
Formal Systems for Tuple and Equality Generating Dependencies	1984-01-01	Paper
On acyclic database decompositions	1984-01-01	Paper
On the Desirability of Acyclic Database Schemes	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912018	1981-01-01	Paper
Equivalence of Relational Database Schemes	1981-01-01	Paper
Preserving Functional Dependencies	1981-01-01	Paper
On the menbership problem for functional and multivalued dependencies in relational databases	1980-01-01	Paper
An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines	1977-01-01	Paper
Two-way nested stack automata are equivalent to two-way stack automata	1975-01-01	Paper

Research outcomes over time

This page was built for person: Catriel Beeri