Abstract
No public abstract is available from the verified source records.
Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureJohann A. Makowsky, Elena V. Ravve
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
unpaywall
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
1994
Update semantics of relational views
10.1145/319628.319634 · 1981
Formal systems for tuple and equality generating dependencies
10.1137/0213006 · 1984
A uniform method for proving lower bounds on the computational complexity of logical theories
10.1016/0168-0072(90)90080-l · 1990
Embedded implicational dependencies and their implication problem
1981
Monadic second-order graph transductions: A survey
10.1016/0304-3975(94)90268-2 · 1994
Reductions to NP-complete problems by interpretations
1983
Feasible Computation Through Model Theory
1993
Unresolved referenced work
1994
A normal form for relational databases that is based on domains and keys
10.1145/319587.319592 · 1981
The theory of data dependencies
1986
Unresolved referenced work
1970
On the undecidability of implication between embedded multivalued database dependencies
10.1006/inco.1995.1148 · 1995
Languages that capture complexity classes
10.1137/0216051 · 1987
Implicit definability on finite structures and unambiguous computation in LiCS'90
1990
On complementary and independent mappings on databases
1984
Unresolved referenced work
1983
Capturing complexity classes with Lindström quantifiers
1994
Unresolved referenced work
1990
Unresolved referenced work
1992
Dependency preserving refinement of database schemes
1996
Translation schemes and the fundamental problem of database
1996
On the expressive power of data dependencies
10.1007/bf00289111 · 1986
Unresolved referenced work
1989
A simple method for undecidability proofs and some applications
1965
Unresolved referenced work
1991
Foundation of entity-relationship modeling
10.1007/bf01556354 · 1993
A survey on database constraints
1994
Principles of Database Systems
1982
Unresolved referenced work
1997
Fundamentals of dependency theory
1987
No additional external references are available.