Intensional and Extensional Semantics of Bounded and Unbounded Nondeterminism.

Published in: CoRR (2017)

Keyphrases

conceptual schema
formal semantics
higher order
integrity constraints
conceptual model
data integration
logic programming
semantic information
situation calculus
relational databases
entity relationship
knowledge base
data model
database
query evaluation
partial order
reverse engineering
semantic representation