| 
| |  | |  |
Workflow, Transactions, and Datalog
Note: Links lead to the DBLP on the Web.
Anthony J. Bonner
27
Anthony J. Bonner: Workflow, Transactions, and Datalog.
PODS 1999
: 294-305
26
Anthony J. Bonner,
Michael Kifer
: A Logic for Programming Database Transactions.
Logics for Databases and Information Systems 1998
: 117-166
25
Anthony J. Bonner,
Michael Kifer
: The State of Change: A Survey.
Transactions and Change in Logic Databases 1998
: 1-36
24
Anthony J. Bonner,
Michael Kifer
: Results on Reasoning about Updates in Transaction Logic.
Transactions and Change in Logic Databases 1998
: 166-196
23
Anthony J. Bonner,
Giansalvatore Mecca
: Sequences, Datalog, and Transducers.
JCSS 57
(3): 234-259 (1998)
22
Anthony J. Bonner,
Giansalvatore Mecca
: Querying String Databases with Transducers.
DBPL 1997
: 118-135
21
Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases.
DBPL 1997
: 373-395
20
Anthony J. Bonner,
Burkhard Freitag
,
Laura Giordano
,
Robert A. Kowalski
: Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.
ILPS 1997
: 415-416
19
Anthony J. Bonner,
Tomasz Imielinski
: Reusing and Modifying Rulebases by Predicate Substitution.
JCSS 54
(1): 136-166 (1997)
18
Anthony J. Bonner: Intuitionistic Deductive Databases and the Polynomial Time Hierarchy.
JLP 33
(1): 1-47 (1997)
17
Anthony J. Bonner,
Adel Shrufi
,
Steve Rozen
: LabFlow-1: A Database Benchmark for High-Throughput Workflow Management.
EDBT 1996
: 463-478
16
Anthony J. Bonner,
Michael Kifer
: Concurrency and Communication in Transaction Logic.
JICSLP 1996
: 142-156
15
Anthony J. Bonner,
Giansalvatore Mecca
: Sequence Datalog: Declarative String Manipulation in Databases.
Logic in Databases 1996
: 399-413
14
Giansalvatore Mecca
, Anthony J. Bonner: Finite Query Languages for Sequence Databases.
DBPL 1995
: 12
13
Giansalvatore Mecca
, Anthony J. Bonner: Sequences, Datalog and Transducers.
PODS 1995
: 23-35
12
Anthony J. Bonner,
Michael Kifer
: An Overview of Transaction Logic.
TCS 133
(2): 205-265 (1994)
11
Anthony J. Bonner,
Michael Kifer
,
Mariano P. Consens
: Database Programming in Transaction Logic.
DBPL 1993
: 309-337
10
Anthony J. Bonner,
Michael Kifer
: Transaction Logic Programming.
ICLP 1993
: 257-279
9
Anthony J. Bonner: The Complexity of Reusing and Modifying Rulebases.
PODS 1992
: 316-330
8
Serge Abiteboul
, Anthony J. Bonner: Objects and Views.
SIGMOD Conference 1991
: 238-247
7
Anthony J. Bonner,
Tomasz Imielinski
: The Reuse and Modification of Rulebases by Predicate Substituation.
EDBT 1990
: 437-451
6
Anthony J. Bonner,
L. Thorne McCarty
: Adding Negation-as-Failure to Intuitionistic Logic Programming.
NACLP 1990
: 681-703
5
Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressibility.
TCS 76
(1): 3-51 (1990)
4
Anthony J. Bonner,
L. Thorne McCarty
,
Kumar V. Vadaparty
: Expressing Database Queries with Intuitionistic Logic.
NACLP 1989
: 831-850
3
Anthony J. Bonner: Hypothetical Datalog: Negation and Linear Recursion.
PODS 1989
: 286-300
2
Anthony J. Bonner: A Logic for Hypothetical Reasoning.
AAAI 1988
: 480-484
1
Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressiblity.
ICDT 1988
: 144-160
Copyright(C) 2000 ACM | | | | | | |
