164 search results - page 6 / 33 » A Relational Algebra for Functional Logic Deductive Database... |
135
Voted
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
15 years 3 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
129
Voted
SIGMOD
1999
ACM
15 years 7 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...
148
Voted
AMAI
2007
Springer
15 years 3 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
127
Voted
AUSAI
1998
Springer
15 years 7 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
168
Voted
HIM
1997
Springer
15 years 7 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...