An ID-Logic Formalization of the Composition of Autonomous Databases.
Bert Van NuffelenOfer ArieliAlvaro Cortés-CalabuigMaurice BruynooghePublished in: LPNMR (2005)
Keyphrases
- databases
- closed world assumptions
- relational databases
- operational semantics
- database
- database applications
- cooperative
- knowledge representation
- logic programming
- logical framework
- data integration
- information systems
- robotic systems
- automated reasoning
- classical logic
- multiple autonomous
- proof theory
- formal model
- autonomous navigation
- web service composition
- data model
- real time