699 search results - page 1 / 140 » A Computational Model for Functional Logic Deductive Databas... |
ICLP
2001
Springer
14 years 3 months ago
2001
Springer
ERSHOV
2003
Springer
14 years 4 months ago
2003
Springer
SIGMOD
1999
ACM
14 years 3 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
14 years 4 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
14 years 3 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...