Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
88
Voted
VLDB
1987
ACM
55
views
Database
»
more
VLDB 1987
»
Integrity Checking in Deductive Databases
15 years 6 months ago
Download
www.doc.ic.ac.uk
Robert A. Kowalski, Fariba Sadri, Paul Soper
Real-time Traffic
Database
|
VLDB 1987
|
claim paper
Related Content
»
Integrity Constraints Checking In Deductive Databases
»
Towards Creating Specialised Integrity Checks through Partial Evaluation of MetaInterprete...
»
Avenues to Flexible Data Integrity Checking
»
Simplification of Integrity Constraints with Aggregates and Arithmetic BuiltIns
»
A Method for Change Computation in Deductive Databases
»
Incremental Integrity Checking Limitations and Possibilities
»
A TransformationBased Approach to View Updating in Stratifiable Deductive Databases
»
Efficient Integrity Checking over XML Documents
»
Database Updates through Abduction
more »
Post Info
More Details (n/a)
Added
28 Aug 2010
Updated
28 Aug 2010
Type
Conference
Year
1987
Where
VLDB
Authors
Robert A. Kowalski, Fariba Sadri, Paul Soper
Comments
(0)
Researcher Info
Database Study Group
Computer Vision