Sciweavers

1928 search results - page 25 / 386
» Integrity Constraints in OWL
Sort
View
DATESO
2008
133views Database» more  DATESO 2008»
15 years 1 months ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky
DALT
2003
Springer
15 years 5 months ago
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Pao...
ICLP
1997
Springer
15 years 3 months ago
Total Homeostaticity and Integrity Constraints Restorability Recognition
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
Michael I. Dekhtyar, Alexander Ja. Dikovsky
IJCAI
2003
15 years 1 months ago
Query rewriting and answering under constraints in data integration systems
In this paper we address the problem of query answering and rewriting in global-as-view data integration systems, when key and inclusion dependencies are expressed on the global i...
Andrea Calì, Domenico Lembo, Riccardo Rosat...
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
14 years 6 months ago
L2 gain verification for interconnections of locally stable systems using integral quadratic constraints
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
Erin Summers, Andrew K. Packard