Sciweavers

1008 search results - page 20 / 202
» Logic and Databases
Sort
View
CL
2000
Springer
13 years 12 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
FSKD
2007
Springer
102views Fuzzy Logic» more  FSKD 2007»
13 years 9 months ago
Statistical and Fuzzy Approach for Database Security
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...
Gang Lu, Junkai Yi, Kevin Lü
ADC
2008
Springer
146views Database» more  ADC 2008»
14 years 2 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
EDBTW
2006
Springer
13 years 11 months ago
Pattern-Based Query Answering
Users without knowledge of schemas or structured query languages have difficulties in accessing information stored in databases. Commercial and research efforts have focused on key...
Alkis Simitsis, Georgia Koutrika
FMLDO
1999
Springer
94views Database» more  FMLDO 1999»
13 years 12 months ago
Specifying Active Rules for Database Maintenance
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
Leopoldo E. Bertossi, Javier Pinto