-
Slim Abdennadher.
Operational Semantics and Confluence of Constraint Propagation Rules.
In G. Smolka, editor,
CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming,
volume 1330 of Lecture Notes in Computer Science,
pages 252-266,
1997.
Springer-Verlag.
Keyword(s): confluence,
semantics.
@inproceedings{abd_sem_conf_prop_rules_cp97,
author = {Slim Abdennadher},
title = {Operational Semantics and Confluence of Constraint Propagation Rules},
booktitle = {CP '97: Proc.\ Third Intl.\ Conf.\ Principles and Practice of Constraint Programming},
editor = {G. Smolka},
pages = {252--266},
year = 1997,
series = LNCS,
volume = 1330,
publisher = SV,
location = {Schlo\ss{} Hagenberg, Austria},
city = {Schlo\ss{} Hagenberg, Austria},
keywords = {confluence, semantics},
}
-
Stéphane Bressan.
Overview of a Prolog implementation of COntext INterchange mediator.
In PAP '97: Proc. Fifth Intl. Conf. Pract. Applic. Prolog,
London,
1997.
Practical Application Company Ltd..
@inproceedings{bressan_coin_pap97,
author = {Bressan, St{\'e}phane},
title = {Overview of a {P}rolog implementation of {CO}ntext {IN}terchange mediator},
booktitle = {PAP '97: Proc.\ Fifth Intl.\ Conf.\ Pract.\ Applic.\ Prolog},
year = 1997,
publisher = {Practical Application Company Ltd.},
address = {London},
}
-
Stéphane Bressan,
Cheng Hian Goh,
Thomas Lee,
Stuart Madnick,
and Michael Siege.
A Procedure for Mediation of Queries to Sources in Disparate Contexts.
In Proc. Intl. Logic Programming Symp.,
pages 213-228,
1997.
MIT Press.
Abstract:
This paper discusses the algorithm we are using for the mediation of queries to disparate information sources in a Context Interchange system, where information sources may have different interpretations arising from their respective context. Queries are assumed to be formulated without regard for semantic heterogeneity, and are rewritten to corresponding mediated queries by taking into account the semantics of data codified in axioms associated with sources and receivers (the corresponding context theories). Our approach draws upon recent advances in abductive logic programming and presents an integration of techniques for query rewriting and semantic query optimization. We also demonstrate how this can be efficiently implemented using the constraint logic programming system ECLiPSe. |
@inproceedings{bressan_et_al_mediation_lp97,
author = {St{\'e}phane Bressan and Cheng Hian Goh and Thomas Lee and Stuart Madnick and Michael Siege},
title = {A Procedure for Mediation of Queries to Sources in Disparate Contexts},
booktitle = {Proc.\ Intl.\ Logic Programming Symp.},
year = 1997,
pages = {213--228},
publisher = {MIT Press},
abstract = { This paper discusses the algorithm we are using for the mediation of queries to disparate information sources in a Context Interchange system, where information sources may have different interpretations arising from their respective context. Queries are assumed to be formulated without regard for semantic heterogeneity, and are rewritten to corresponding mediated queries by taking into account the semantics of data codified in axioms associated with sources and receivers (the corresponding context theories). Our approach draws upon recent advances in abductive logic programming and presents an integration of techniques for query rewriting and semantic query optimization. We also demonstrate how this can be efficiently implemented using the constraint logic programming system ECLiPSe. }
}