Research graph
References from Dependency preserving refinements and the fundamental problem of database design. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
1994 · External reference
Update semantics of relational views
10.1145/319628.319634 · 1981 · External reference
Formal systems for tuple and equality generating dependencies
10.1137/0213006 · 1984 · External reference
A uniform method for proving lower bounds on the computational complexity of logical theories
10.1016/0168-0072(90)90080-l · 1990 · External reference
Embedded implicational dependencies and their implication problem
1981 · External reference
Monadic second-order graph transductions: A survey
10.1016/0304-3975(94)90268-2 · 1994 · External reference
Reductions to NP-complete problems by interpretations
1983 · External reference
Feasible Computation Through Model Theory
1993 · External reference
Unresolved reference
1994 · External reference
A normal form for relational databases that is based on domains and keys
10.1145/319587.319592 · 1981 · External reference
The theory of data dependencies
1986 · External reference
Unresolved reference
1970 · External reference
On the undecidability of implication between embedded multivalued database dependencies
10.1006/inco.1995.1148 · 1995 · External reference
Languages that capture complexity classes
10.1137/0216051 · 1987 · External reference
Implicit definability on finite structures and unambiguous computation in LiCS'90
1990 · External reference
On complementary and independent mappings on databases
1984 · External reference
Unresolved reference
1983 · External reference
Capturing complexity classes with Lindström quantifiers
1994 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1992 · External reference
Dependency preserving refinement of database schemes
1996 · External reference
Translation schemes and the fundamental problem of database
1996 · External reference
On the expressive power of data dependencies
10.1007/bf00289111 · 1986 · External reference
Unresolved reference
1989 · External reference
A simple method for undecidability proofs and some applications
1965 · External reference
Unresolved reference
1991 · External reference
Foundation of entity-relationship modeling
10.1007/bf01556354 · 1993 · External reference
A survey on database constraints
1994 · External reference
Principles of Database Systems
1982 · External reference
Unresolved reference
1997 · External reference
Fundamentals of dependency theory
1987 · External reference
