Controlling entity integrity with key sets

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

zbMATH Keywords

complexityreasoningrelational databaseimplicationmissing dataaxiomsvalidationdiscoverykey setentity integrity

Mathematics Subject Classification ID

Computer science (68-XX)

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