A Logic of Type Relations and its Applications to Relational Databases.

Wendy MacCaull Ewa Orlowska

Published in: J. Log. Comput. (2006)

Keyphrases

relational databases
data dependencies
databases
logic programming
object oriented
modal logic
logical framework
relational data
relation algebra
classical logic
multi valued
normal form
xml documents
spatial relations
sql queries
database systems
data sets
relational structures
relational data model
database