Sciweavers

127 search results - page 3 / 26
» Integrity Checking in Deductive Databases
Sort
View
JUCS
2007
108views more  JUCS 2007»
13 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
DAGSTUHL
1998
13 years 7 months ago
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
Elisa Bertino, Barbara Catania, Vincenzo Gervasi, ...
KDD
1994
ACM
93views Data Mining» more  KDD 1994»
13 years 10 months ago
Using Metagueries to Integrate Inductive Learning and Deductive Database Technology
Wei-Min Shen, Bharat G. Mitbander, KayLiang Ong, C...
KDD
1994
ACM
120views Data Mining» more  KDD 1994»
13 years 10 months ago
Integrating Inductive and Deductive Reasoning for Database Mining
Evangelos Simoudis, Brian Livezey, Randy Kerber
ICDE
1991
IEEE
175views Database» more  ICDE 1991»
13 years 10 months ago
Constraint-Based Reasoning in Deductive Databases
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
Jiawei Han