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
46
views
21
references
Top references
cited by
2
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,516
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Petri Nets and Other Models of Concurrency - ICATPN 2006
A comparison between deductive and object-oriented database systems
other
Author(s):
Jeffrey D. Ullman
Publication date
(Online):
June 4 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
21
Record
: found
Abstract
: not found
Article
: not found
The well-founded semantics for general logic programs
John Schlipf
,
Kenneth A. Ross
,
Allen Van Gelder
(1991)
0
comments
Cited
79
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Towards a Theory of Declarative Knowledge
Krzysztof R. Apt
,
Howard Blair
,
Adrian Walker
(1988)
0
comments
Cited
64
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Self: The power of simplicity
David Ungar
,
Randall Smith
(1987)
0
comments
Cited
22
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1991
Publication date (Online):
June 4 2005
Pages
: 263-277
DOI:
10.1007/3-540-55015-1_14
SO-VID:
09e40dd7-ef3c-4c81-bdfd-92ba2b3bcae0
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Design for verifiability
pp. 1
Invariant Based Programming
pp. 181
From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
pp. 431
The BRITNeY Suite Animation Tool
pp. 41
On the Social Rational Mirror: Learning E-commerce in a Web-Served Learning Environment
pp. 45
Combining Independent Specifications
pp. 49
A review of formalisms for describing interactive behaviour
pp. 52
Non-restoring integer square root: A case study in design by principled optimization
pp. 74
Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents
pp. 101
Using a conceptual data language to describe a database and its interface
pp. 152
Simulation and Multi-agent Environment for Aircraft Maintenance Learning
pp. 155
Annotations as Context for Searching Documents
pp. 161
The refinement calculus, and literate development
pp. 182
VITAL: a visual tool for analysis of rules behaviour in active databases
pp. 193
High-performance parallel graph reduction
pp. 197
A visualization and explanation tool for debugging ECA rules in active databases
pp. 230
Omnibase: Uniform Access to Heterogeneous Data for Question Answering
pp. 263
A comparison between deductive and object-oriented database systems
pp. 274
The semantics of the C programming language
pp. 334
A Retrospective Evaluation Method for Exact-Match and Best-Match Queries Applying an Interactive Query Performance Analyser
pp. 1343
Modelling microsoft COM using π-calculus
Similar content
2,516
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
A)(ii)-would have a federal income tax base of $0, making the benefit of a tax deduction for commuting expenses worthless to that taxpayer. 93 In calculating taxable income, the federal income tax offers taxpayers the option to claim a uniform standard deduction or to deduct their itemized expenses. IRC � 63. As noted supra note 92, the standard deduction is currently $12,000 for a single taxpayer. Researchers have estimated that approximately 14% of taxpayers, mostly higher-income individuals, itemize their deductions rather than claim the standard deduction
Authors:
Defining heroes through deductive and inductive investigations.
Authors:
Michael Sullivan
,
Anre Venter
See all similar
Cited by
2
Interbase-KB: Integrating a knowledge base system with a multidatabase system for data warehousing
Authors:
N BASSILIADES
,
I. Vlahavas
,
A.K. Elmagarmid
…
On Harmonically Combining Active, Object-Oriented, and Deductive Databases
Authors:
David W. Embley
,
Stephen W. Liddle
,
Yiu-Kai Ng
See all cited by