Towards a Calculus for Nondeterministic Schemas in Z.

Hassan Haghighi Seyed-Hassan Mirian-Hosseinabadi

Published in: Int. J. Softw. Eng. Knowl. Eng. (2012)

Keyphrases

databases
finite state
schema integration
automated deduction
data sources
computer algebra
database schema
schema matching
xml schema
schema mappings
natural deduction
database query languages
rewriting rules
algebraic structure
automated theorem proving
proof procedure
data exchange
data integration
xml documents