Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism.

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

conceptual schema
formal semantics
reverse engineering
data model
integrity constraints
situation calculus
relational databases
partial order
database
domain knowledge
higher order
semantic information
expressive power
conceptual graphs
semantic representation