International Journal of Man-Machine Studies
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Towards intelligent integration of heterogeneous information sources
Database reengineering and interoperability
Query approximate answering system for an incomplete DKBS
Fundamenta Informaticae - Special issue: intelligent information systems
An Integrated Framework for Empirical Discovery
Machine Learning
Reducing Information Systems with Uncertain Attributes
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Abstraction of Representation for Interoperation
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Global action rules in distributed knowledge systems
Fundamenta Informaticae
Collaborative Query Processing in DKS Controlled by Reducts
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Ontology-based distributed autonomous knowledge systems
Information Systems - Special issue on web data integration
Global Action Rules in Distributed Knowledge Systems
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Hi-index | 0.00 |
Empirical equations are an important class ofregularities that can be discovered in databases. We concentrate onthe role of equations as definitions of attribute values. Suchdefinitions can be used in many ways in a single database and fortransfer of knowledge between databases. We present a questfor equations that can be used as definitions of an attribute in agiven database. That quest triggers a discovery mechanism thatspecializes in searching recursively a system of databases andreturns a set of partial definitions. We introduce the notion ofshared operational semantics. It is founded on an equation-basedsystem of partial definitions and it gives necessary foundations fordesigning local query answering systems in a distributed two-layeredinformation system (D^2LIS). Theknowledge exchange betweentwo sites of D^2LIS may only improve anequation-based systemof partial definitions at each of these sites. At the same time theshared operational semantics will better interpret user queries.Operational semantics augments the earlier developed semantics forrules used as attribute definitions. To put the shared operationalsemantics on a firm theoretical foundation we give a formalinterpretation of queries which justifies empirical equations intheir definitional role.