Controlling entity integrity with key sets
From MaRDI portal
Publication:6098153
DOI10.1016/j.jcss.2023.04.004arXiv2101.02472OpenAlexW3119157347MaRDI QIDQ6098153
Miika Hannula, Xinyi Li, Sebastian Link
Publication date: 12 June 2023
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.02472
complexityreasoningrelational databaseimplicationmissing dataaxiomsvalidationdiscoverykey setentity integrity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the finite and general implication problems of independence atoms and keys
- Fundamentals of parameterized complexity
- Fixed-parameter tractability and completeness II: On completeness for W[1]
- Inclusion dependencies and their interaction with functional dependencies in SQL
- On keys and functional dependencies as first-class citizens in description logics
- Minimum matrix representation of closure operations
- Inclusion dependencies and their interaction with functional dependencies
- The number of keys in relational and nested relational databases
- Candidate keys for relations
- The logic of paradox
- Automated reasoning about key sets
- Tractable reasoning via approximation
- Propositional and predicate logics of incomplete information
- The complexity of dependency detection and discovery in relational databases
- Possibilistic keys
- A Generalisation of Entity and Referential Integrity in Relational Databases
- On XML integrity constraints in the presence of DTDs
- On the Complexity of Dualization of Monotone Disjunctive Normal Forms
- Horn clauses and database dependencies
- Complexity of automaton identification from given data
- Fixed-Parameter Tractability and Completeness I: Basic Results
- Identifying the Minimal Transversals of a Hypergraph and Related Problems
- Reducibility among Combinatorial Problems
- Analytical approach to parallel repetition
- On the Notion of an XML Key
- A relational model of data for large shared data banks
This page was built for publication: Controlling entity integrity with key sets
