ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
37
views
22
references
Top references
cited by
19
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,231
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
A survey of deductive database systems
Author(s):
Raghu Ramakrishnan
,
Jeffrey D. Ullman
Publication date
Created:
May 1995
Publication date
(Print):
May 1995
Journal:
The Journal of Logic Programming
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
22
Record
: found
Abstract
: not found
Article
: not found
The Semantics of Predicate Logic as a Programming Language
M. van Emden
,
R. A. Kowalski
(1976)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Logic and Databases: A Deductive Approach
Herve Gallaire
,
Jack Minker
,
Jean-Marie Nicolas
(1984)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
OLD resolution with tabulation
Hisao Tamaki
,
Taisuke Sato
(1986)
0
comments
Cited
28
times
– based on
0
reviews
Bookmark
All references
Author and article information
Journal
Title:
The Journal of Logic Programming
Abbreviated Title:
The Journal of Logic Programming
Publisher:
Elsevier BV
ISSN (Print):
07431066
Publication date Created:
May 1995
Publication date (Print):
May 1995
Volume
: 23
Issue
: 2
Pages
: 125-149
Article
DOI:
10.1016/0743-1066(94)00039-9
SO-VID:
0e664e1a-50b7-46ca-8164-30335b01610a
Copyright ©
© 1995
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,231
Does the deduction theorem fail for modal logic?
Authors:
Raul Hakli
,
Sara Negri
EVEDIT: Event-based Knowledge Editing with Deductive Editing Boundaries
Authors:
Jiateng Liu
,
Pengfei Yu
,
Yuji Zhang
…
An RFID-Driven Graphical Formalized Deduction for Describing the Time-Sensitive State and Position Changes of Work-in-Progress Material Flows in a Job-Shop Floor
Authors:
Pingyu Jiang
,
Wei Cao
See all similar
Cited by
19
Using Datalog with Binary Decision Diagrams for Program Analysis
Authors:
John Whaley
,
Dzintars Avots
,
Michael Carbin
…
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Authors:
Kaustuv Chaudhuri
,
Frank Pfenning
,
Greg Price
Netlog, a Rule-Based Language for Distributed Programming
Authors:
Stéphane Grumbach
,
Fang Wang
See all cited by
Most referenced authors
90
T Sato
J. B. ROBINSON
R Krishnamurthy
See all reference authors