Sciweavers

1008 search results - page 94 / 202
» Logic and Databases
Sort
View
CADE
2001
Springer
16 years 2 months ago
A Top-Down Procedure for Disjunctive Well-Founded Semantics
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
Kewen Wang
182
Voted
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
16 years 2 months ago
XML query optimization in the presence of side effects
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
ACNS
2004
Springer
284views Cryptology» more  ACNS 2004»
15 years 8 months ago
SQLrand: Preventing SQL Injection Attacks
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
Stephen W. Boyd, Angelos D. Keromytis
102
Voted
VLDB
1994
ACM
102views Database» more  VLDB 1994»
15 years 6 months ago
Reasoning About Spatial Relationships in Picture Retrieval Systems
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
A. Prasad Sistla, Clement T. Yu, R. Haddad
127
Voted
AGIS
2000
95views more  AGIS 2000»
15 years 2 months ago
Error Detection through Consistency Checking
Following a brief discussion on various aspects of data quality, possible methods are examined for the detection of errors in a spatial database. Using examples, we introduce the c...
Peng Gong, Lan Mu