Sciweavers

204
Voted
ICDT
2009
ACM
248views Database» more  ICDT 2009»
16 years 1 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...
182
Voted
ICDT
2009
ACM
198views Database» more  ICDT 2009»
16 years 1 months ago
Consistent query answering under primary keys: a characterization of tractable queries
This article deals with consistent query answering to conjunctive queries under primary key constraints. The repairs of an inconsistent database db are obtained by selecting a max...
Jef Wijsen
ICDT
2009
ACM
175views Database» more  ICDT 2009»
16 years 1 months ago
Structural characterizations of schema-mapping languages
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
Balder ten Cate, Phokion G. Kolaitis
ICDT
2009
ACM
173views Database» more  ICDT 2009»
16 years 1 months ago
Containment of conjunctive queries on annotated relations
We study containment and equivalence of (unions of) conjunctive queries on relations annotated with elements of a commutative semiring. Such relations and the semantics of positiv...
Todd J. Green
195
Voted
ICDT
2009
ACM
166views Database» more  ICDT 2009»
16 years 1 months ago
A compositional framework for complex queries over uncertain data
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
Christoph Koch, Michaela Götz
Database
Top of PageReset Settings