Abstract
We describe procedures for solving disequation problems in theories with sequence variables and flexible arity symbols, and show how to use them for Collaborative Schema Construction.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baader, F., Snyder, W.: Unification theory. In: Handbook of Automated Reasoning, pp. 445–532 (2001)
Buntine, W.L., Bürckert, H.-J.: On solving equations and disequations. J. ACM 41(4), 591–629 (1994)
Coelho, J., Florido, M.: Unification with flexible arity symbols: a typed approach. In: UNIF 2006. Proc. 20th Int. Workshop on Unification, Seattle, USA (2006)
Coelho, J., Florido, M.: VeriFLog: Constraint Logic Programming Applied to Verification of Website Content. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) Int. Workshop XML Research and Applications (XRA 2006). LNCS, vol. 3842, Springer, Heidelberg (2006)
Coelho, J., Florido, M.: Type-based static and dynamic website verification. In: 2nd Int. Conf. on Internet and Web Applications and Services, IEEE Computer Society Press, Los Alamitos (2007)
Coelho, J., Florido, M.: XCentric: A logic-programming language for XML processing. In: PLAN-X (2007)
Comon, H.: Disunification: A survey. In: Computational Logic - Essays in Honor of Alan Robinson, pp. 322–359 (1991)
Comon, H., Lescanne, P.: Equational problems and disunification. J. Symb. Comput. 7(3/4), 371–425 (1989)
Doan, A., Halevy, A.Y.: Semantic integration research in the database community: A brief survey. AI Magazine 26(1), 83–94 (2005)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Adison-Wesley, London (2007)
Kensche, D., Quix, C., Chatti, M.A., Jarke, M.: Gerome: A generic role based metamodel for model management. J. Data Semantics 8, 82–117 (2007)
Kutsia, T.: Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds.) AISC 2002 and Calculemus 2002. LNCS (LNAI), vol. 2385, Springer, Heidelberg (2002)
Kutsia, T.: Context sequence matching for XML. ENTCS 157(2), 47–65 (2006)
Kutsia, T.: Solving equations with sequence variables and sequence functions. J. Symb. Comp. 42, 352–388 (2007)
Kutsia, T., Marin, M.: Can context sequence matching be used for querying XML? In: Proc UNIF 2005, pp. 77–92 (2005)
Lee, Y., Sayyadian, M., Doan, A., Rosenthal, A.: eTuner: tuning schema matching software using synthetic scenarios. VLDB J. 16(1), 97–122 (2007)
Pullinger, D.J.: SuperJournal Project. IOP Publishing Ltd, Bristol (1994)
Quix, C., Kensche, D., Li, X.: Generic schema merging. In: CAiSE. LNCS, vol. 4495, pp. 127–141. Springer, Heidelberg (2007)
Rahm, E., Hai-Do, H., Massmann, S.: Matching large XML schemas. SIGMOD Rec. 33(4), 26–31 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coelho, J., Florido, M., Kutsia, T. (2007). Sequence Disunification and Its Application in Collaborative Schema Construction. In: Weske, M., Hacid, MS., Godart, C. (eds) Web Information Systems Engineering – WISE 2007 Workshops. WISE 2007. Lecture Notes in Computer Science, vol 4832. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77010-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-77010-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77009-1
Online ISBN: 978-3-540-77010-7
eBook Packages: Computer ScienceComputer Science (R0)