Catriel Beeri

From MaRDI portal
Revision as of 15:16, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Catriel Beeri to Catriel Beeri: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:676416

Available identifiers

zbMath Open beeri.catrielMaRDI QIDQ676416

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q47395432004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30444732004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44116342003-07-09Paper
Inheritance hierarchy design in object-oriented databases2002-07-29Paper
Comparison of functional and predicative query paradigms1997-03-18Paper
Subtyping in OODBs1995-12-03Paper
A logical query language for hypermedia systems1994-07-26Paper
Algebraic optimization of object-oriented query languages1993-12-06Paper
Bounds in the propagation of selection into logic programs1992-06-25Paper
On the power of magic1991-01-01Paper
Set constructors in a logic database language1991-01-01Paper
A model for concurrency in nested transactions systems1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37982981988-01-01Paper
An integrated approach to logical design of relational database schemes1986-01-01Paper
Formal systems for join dependencies1985-01-01Paper
Formal Systems for Tuple and Equality Generating Dependencies1984-01-01Paper
On acyclic database decompositions1984-01-01Paper
On the Structure of Armstrong Relations for Functional Dependencies1984-01-01Paper
A Proof Procedure for Data Dependencies1984-01-01Paper
On the Desirability of Acyclic Database Schemes1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120181981-01-01Paper
Preserving Functional Dependencies1981-01-01Paper
Equivalence of Relational Database Schemes1981-01-01Paper
On the menbership problem for functional and multivalued dependencies in relational databases1980-01-01Paper
An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines1977-01-01Paper
Two-way nested stack automata are equivalent to two-way stack automata1975-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Catriel Beeri