286 search results - page 1 / 58 » On Modal Deductive Databases |
FUIN
2007
13 years 5 months ago
2007
We give formulations for modal deductive databases and present a modal query language called MDatalog. We define modal relational algebras and give the seminaive evaluation algor...
ADBIS
2005
Springer
13 years 10 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
DEDUCTIVE
1992
13 years 6 months ago
1992
DEDUCTIVE
1997
13 years 6 months ago
1997
APAL
2006
13 years 5 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...