Sciweavers

1497 search results - page 93 / 300
» Constraint Databases: A Survey
Sort
View
DEXAW
1998
IEEE
118views Database» more  DEXAW 1998»
15 years 2 months ago
New Object Models for Seamless Transition across Heterogeneous Mobile Environments
In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across h...
Anjaneyulu Pasala, D. Janaki Ram
SIGMOD
2004
ACM
97views Database» more  SIGMOD 2004»
15 years 10 months ago
Integration of Biological Sources: Current Systems and Challenges Ahead
This paper surveys the area of biological and genomic sources integration, which has recently become a major focus of the data integration research field. The challenges that an i...
Thomas Hernandez, Subbarao Kambhampati
FOSSACS
2007
Springer
15 years 4 months ago
Polynomial Constraints for Sets with Cardinality Bounds
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
Bruno Marnette, Viktor Kuncak, Martin C. Rinard
AMAST
2004
Springer
15 years 3 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 1 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi