Armstrong axioms and Boyce-Codd-Heath Normal Form under bag semantics.

Henning Köhler Sebastian Link

Published in: Inf. Process. Lett. (2010)

Keyphrases

normal form
functional dependencies
nested relations
semantics for logic programs
database design
relational databases
conflict free
relational model
null values

integrity constraints
relational schema
relational algebra
complete axiomatization
relational calculus
relational data model
data dependencies
inclusion dependencies
computational properties

database schema
database schemes
knowledge base
information content
user defined
set of functional dependencies
relational database theory
xml documents
first order logic

database
xml schema
conceptual model
logic programming
prime implicates
object oriented
multivalued dependencies
data structure