Synthesis of the Canonical Models for Database Integration Preserving Semantics of the Value Inventive Data Models
详细信息 查看全文
- 作者：Leonid Kalinichenko (19)
Sergey Stupnikov (19) - 关键词：database integration ; canonical data model synthesis ; axiomatic data model extension ; tuple ; generating dependencies ; decidable classes of dependencies ; value inventive data models
- 刊名：Lecture Notes in Computer Science
- 出版年：2012
- 出版时间：2012
- 年：2012
- 卷：7503
- 期：1
- 页码：240-253
- 全文大小：293KB
- 参考文献：1. Abrial, J.-R.: The B-Book. Cambridge University Press (1996)
2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
3. Baget, J.-F., Leclere, M., Mugnier, M.-L.: Walking the Decidability Line for Rules with Existential Variables. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2010 (2010)
4. Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. JACM聽31(4), 718鈥?41 (1984) CrossRef
5. Cali, A., Martinenghi, D.: Querying Incomplete Data over Extended ER Schemata. Theory and Practice of Logic Programming (Logic Programming in Databases: from Datalog to Semantic-Web Rules), vol.聽10(3), pp. 291鈥?29. Cambridge University Press (2010)
6. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logic. In: Proc. of KR 2006, pp. 260鈥?70 (2006)
7. Cal矛, A., Gottlob, G., Lukasiewicz, T.: A General Datalog-Based Framework for Tractable Query Answering over Ontologies. In: PODS 2009, June 29-July 2 (2009)
8. Cal矛, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog卤: A Family of Logical Knowledge Representation and Query Languages for New Applications. In: 25th Annual IEEE Symposium on Logic in Computer Science, pp. 228鈥?42 (2010)
9. Cal矛, A., Gottlob, G., Pieris, A.: Query Answering under Non-guarded Rules in Datalog鈥?鈥?鈥夆垝. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.聽6333, pp. 1鈥?7. Springer, Heidelberg (2010) CrossRef
10. Cal矛, A., Gottlob, G., Pieris, A.: Tractable Query Answering over Conceptual Schemata. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol.聽5829, pp. 175鈥?90. Springer, Heidelberg (2009) CrossRef
11. Cal矛, A., Gottlob, G., Pieris, A.: New Expressive Languages for Ontological Query Answering. In: Proc. of the Twenty-Fifth AAAI Conference on Artificial Intelligence (2011)
12. Cal矛, A., Gottlob, G., Pieris, A.: Ontological query answering under expressive Entity Relationship schemata. Information Systems聽37, 320鈥?35 (2012) CrossRef
13. ten Cate, B., Kolaitis, P.G.: Structural Characterizations of Schema-Mapping Languages. In: CACM, vol. 53(1) (2010)
14. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoretical Computer Science聽336, 89鈥?24 (2005) CrossRef
15. Gottlob, G., Orsi, G., Pieris, A.: Ontological Query Answering via Rewriting. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol.聽6909, pp. 1鈥?8. Springer, Heidelberg (2011) CrossRef
16. Gottlob, G., Orsi, G., Pieris, A.: Ontological Queries Rewriting and Optimization. In: ICDE 2011 (2011)
17. Hull, R., Yoshikawa, M.: ILOG: Declarative Creation and Manipulation of Object Identifiers. In: VLDB, pp. 455鈥?68 (1990)
18. Kalinichenko, L.A., Briukhov, D.O., Martynov, D.O., Skvortsov, N.A., Stupnikov, S.: Mediation framework for enterprise information system infrastructures. In: 9th International Conference on Enterprise Information Systems (ICEIS) (2007)
19. Kalinichenko, L.A.: Methods and Tools for Integration of Heterogeneous Databases, 423 p. Science Publ., Moscow (1983) (in Russian)
20. Kalinichenko, L.A.: Methods and Tools for Equivalent Data Model Mapping Construction. In: Bancilhon, F., Tsichritzis, D., Thanos, C. (eds.) EDBT 1990. LNCS, vol.聽416, pp. 92鈥?19. Springer, Heidelberg (1990) CrossRef
21. Kalinichenko, L.A.: SYNTHESIS: the language for description, design and programming of the heterogeneous interoperable information resource environment. Institute of Informatics Problems. Russian Academy of Sciences, Moscow (1993)
22. Kalinichenko, L.A.: Method for Data Models Integration in the Common Paradigm. In: Proceedings of the First East-European Conference, ADBIS 1997, St. Petersburg (1997)
23. Kalinichenko, L.A., Stupnikov, S.A.: OWL as Yet Another Data Model to be Integrated. In: Proc. ADBIS 2011, pp. 178鈥?89. Austrian Computer Society, Vienna (2011)
24. Kalinichenko, L.A., Stupnikov, S.A., Zemtsov, N.: Extensible Canonical Process Model Synthesis Applying Formal Interpretation. In: Eder, J., Haav, H.-M., Kalja, A., Penjam, J. (eds.) ADBIS 2005. LNCS, vol.聽3631, pp. 183鈥?98. Springer, Heidelberg (2005) CrossRef
25. Lenzerini, M.: Data Integration: a Theoretical Perspective. In: PODS, pp. 233鈥?46 (2002)
26. Mugnier, M.-L.: Ontological Query Answering with Existential Rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.聽6902, pp. 2鈥?3. Springer, Heidelberg (2011) CrossRef - 作者单位：Leonid Kalinichenko (19)
Sergey Stupnikov (19)
19. Institute of Informatics Problems, Russian Academy of Science, Moscow, Russia
文摘
Recently families of sets of dependencies treated as the Datalog extensions were discovered for which the interpretation of queries becomes tractable. Such families are intended for inference of new, unknown values in the process of query answering. This paper considers such decidable classes of dependencies as the assets for creation of new data models (called in the paper the value inventive data models) analogously to axiomatic extension of the canonical model kernel used so far for unification of structured and object data models aimed at heterogeneous database integration. The paper examines the decidable classes of dependencies reflecting the semantics of value inventive data models considering such classes to be the extensions of the canonical data model kernel. The issue of identifying of decidable subsets of the canonical model extension is considered.