Sciweavers

17 search results - page 1 / 4
» Deduction in a GEFRED database using Datalog
Sort
View
EUSFLAT
2003
139views Fuzzy Logic» more  EUSFLAT 2003»
13 years 6 months ago
Deduction in a GEFRED database using Datalog
In this paper, some considerations on extension of the Datalog language are proposed in order to apply this language on a GEFRED fuzzy relational database. For this integration, w...
Ignacio J. Blanco, Olga Pons, José-Mar&iacu...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
13 years 6 months ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
APLAS
2005
ACM
13 years 10 months ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
13 years 9 months ago
Belief Reasoning in MLS Deductive Databases
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...
Hasan M. Jamil
PPDP
2010
Springer
13 years 3 months ago
Deriving predicate statistics in datalog
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
Senlin Liang, Michael Kifer