Abstract
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole data. This paper presents a non-destructive approach of their integration. The main idea of our approach is to keep the original views intact and to specify constraints between overlapping structures. For reasoning over constraints, we provide a set of inference rules that allows not only to infer implied constraints but also to detect conflicts. These reasoning rules are proved to be sound and complete. Although the form-based views are hierarchical structures, our constraints and reasoning rules can also be used in non-hierarchical data models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Comput. Surv. 18, 323–364 (1986)
Shipman, D.W.: The functional data model and the data language DAPLEX. ACM Trans. Database Syst. 6, 140–173 (1981)
Halpin, T.: Information modeling and relational databases: from conceptual analysis to logical design. Morgan Kaufmann Publishers, San Francisco (2001)
Lenzerini, M.: Data integration: A theoretical perspective. In: PODS, pp. 233–246 (2002)
Bergamaschi, S., Sartori, C.: On taxonomic reasoning in conceptual design. ACM Trans. Database Syst. 17, 385–422 (1992)
Formica, A., Missikoff, M.: Inheritance processing and conflicts in structural generalization hierarchies. ACM Comput. Surv. 36, 263–290 (2004)
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: Conceptual modeling and reasoning support. In: Proc. of the 6th Int. Conf. on Cooperative Information Systems (CoopIS 1998), pp. 280–291 (1998)
Kashyap, V., Sheth, A.P.: Semantic and schematic similarities between database objects: A context-based approach. VLDB J. 5, 276–304 (1996)
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Source integration in data warehousing. In: Proc. of the 9th Int. Workshop on Database and Expert Systems Applications (DEXA 1998), pp. 192–197. IEEE Computer Society Press, Los Alamitos (1998)
Brachman, R., Schmolze, J.: An overview of the KL-ONE knowledge representation system. Cognitive Science, 171–216 (1985)
Kirk, T., Levy, A.Y., Sagiv, Y., Srivastava, D.: The Information Manifold. In: Knoblock, C., Levy, A. (eds.) Information Gathering from Heterogeneous, Distributed Environments. Stanford University, Stanford (1995)
Calvanese, D., Giacomo, G.D., Lenzerini, M., Nardi, D., Rosati, R.: Description logic framework for information integration. In: KR, pp. 2–13 (1998)
Brachman, R., Levesque, H.: The tractability of subsumption in frame-based description languages. In: AAAI 1984, Austin, Texas, pp. 34–37 (1984)
Borgida, A., Brachman, R.J., McGuinness, D.L., Resnick, L.A.: CLASSIC: a structural data model for objects. In: Proc. of the ACM SIGMOD International Conference on Management of Data, Portland, Oregon, pp. 58–67 (1989)
Nutt, W., Donini, F.M., Lenzerini, M., Nardi, D.: The complexity of concept languages. Inf. Comput. 134, 1–58 (1997)
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9, 385–410 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hidders, J., Paredaens, J., Thiran, P., Houben, GJ., van Hee, K. (2005). Non-destructive Integration of Form-Based Views. In: Eder, J., Haav, HM., Kalja, A., Penjam, J. (eds) Advances in Databases and Information Systems. ADBIS 2005. Lecture Notes in Computer Science, vol 3631. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11547686_6
Download citation
DOI: https://doi.org/10.1007/11547686_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28585-4
Online ISBN: 978-3-540-31895-8
eBook Packages: Computer ScienceComputer Science (R0)