Sequence disunification and its application in collaborative schema construction

Authors:
Jorge Coelho;Mário Florido;Temur Kutsia
Affiliations:
Instituto Superior de Engenharia do Porto & LIACC Porto, Portugal;University of Porto, DCC-FC & LIACC Porto, Portugal;RISC, Johannes Kepler University Linz, Austria
Venue:
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Year:
2007

Citing 14
Cited 2

Equational problems anddisunification

Journal of Symbolic Computation
On solving equations and disequations

Journal of the ACM (JACM)
SuperJournal Project

SuperJournal Project
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Matching large XML schemas

ACM SIGMOD Record
Semantic-integration research in the database community

AI Magazine - Special issue on semantic integration
eTuner: tuning schema matching software using synthetic scenarios

The VLDB Journal — The International Journal on Very Large Data Bases
Solving equations with sequence variables and sequence functions

Journal of Symbolic Computation
Type-Based Static and Dynamic Website Verification

ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Introduction to Automata Theory, Languages, and Computation

Introduction to Automata Theory, Languages, and Computation
Context Sequence Matching for XML

Electronic Notes in Theoretical Computer Science (ENTCS)
Generic schema merging

CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
GeRoMe: a generic role based metamodel for model management

Journal on data semantics VIII
VeriFLog: a constraint logic programming approach to verification of website content

APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications

On the relation between Context and Sequence Unification

Journal of Symbolic Computation
Collaborative schema construction using regular sequence types

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration

Quantified Score

Hi-index	0.00

Visualization

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.