Issues in Formal Semantics of an Object Oriented Database.

Lon A. Smith James Buckley

Published in: ACM Conference on Computer Science (1994)

Keyphrases

formal semantics
logical reasoning
er model
logical language
first order logic
modeling language
modelling language
theorem prover
operational semantics
formal language
object oriented databases
speech acts
owl dl ontology
ontology languages
machine learning
relational databases
database systems