699 search results - page 1 / 140 » A Computational Model for Functional Logic Deductive Databas... |
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2003
Springer
13 years 10 months ago
2003
Springer
SIGMOD
1999
ACM
13 years 9 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
KI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
HIM
1997
Springer
13 years 9 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...