Proof-theoretic Conceptual Modeling: the NIAM Case Study.
Cristina SernadasJosé Luiz FiadeiroRobert MeersmanAmílcar SernadasPublished in: ISCO (1989)
Keyphrases
- conceptual modeling
- proof theoretic
- case study
- default reasoning
- proof theory
- linear logic
- nonmonotonic reasoning
- constraint logic programming
- conceptual models
- information systems
- model theoretic
- data model
- fixpoint
- object oriented
- conceptual model
- software engineering
- database technology
- entity relationship
- deductive databases
- logic programming
- ontology languages
- process model
- cut elimination
- business process
- belief revision
- logic programs
- relational databases
- data mining
- constraint solving
- distributed systems
- partial order
- integrity constraints