Login / Signup
An external logic processor for NTCIP-based traffic controllers: Proof of concept for data exchange capability.
Sk Monsur Ahmed
Ahmed Abdel-Rahim
Michael Dixon
Published in:
ITSC (2009)
Keyphrases
</>
data exchange
query answering
data integration
schema mappings
data management
logic programming
modal logic
closed world
database
conjunctive queries
inclusion dependencies
logical equivalence
case study
data model
xml data exchange
classical logic