Anthony J. Bonner  Home/Search
Context Related
| toronto.edu/pub/bonner/pape...pods99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: toronto.edu:8020/people/...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Transaction Datalog (abbreviated T D) is a concurrent programming language that provides process modeling, database access, and advanced transactions. This paper illustrates the use of T D for specifying and simulating workflows, with examples based on the needs of a high-throughput genome laboratory. In addition to database support, these needs include concurrent access to shared resources, synchronization of work, and networks of cooperating workflows. We also use T D to explore the... (Update)
Context of citations to this paper: More
...have been proposed. Among them are triggers (see, e.g. 12] temporal constraints [16, 17] and Concurrent Transaction Logic (CTR) [4, 10]. As pointed by [10] triggers are not expressive enough to specify global dependencies. While temporal constraints are capable of...
.... programs that automate the movement of information in the business process, present interesting transaction and persistent challenges [15]. AI research, on the other hand, was evolving to solve complex search related problems. This research concentrated on improving the...
Cited by: More
Specifying and Reasoning about Workflows - With Path Constraints (Correct)
Enterprise Modelling: A Declarative Approach for FBPML - Chen-Burger, Tate, Robertson (2002) (Correct)
Facilitating Hard Active Database Applications - Warshaw (2001) (Correct)
Similar documents (at the sentence level):
60.4%: Workflow, Transactions and Datalog - Anthony Bonner University (1999) (Correct)
Active bibliography (related documents): More All
0.8: Transaction Datalog: a Compositional Language for Transaction.. - Bonner (1997) (Correct)
0.5: Event-Based Modeling and Analysis of Distributed Workflow Executions - Weske (Correct)
0.4: On the Complexity of Verifying Concurrent Transition Systems - Harel, Kupferman, Vardi (1997) (Correct)
Similar documents based on text: More All
0.2: Database Requirements for Workflow Management in a.. - Bonner, Shrufi, Rozen (1996) (Correct)
0.2: Benchmarking Object-Oriented DBMSs for Workflow Management - Bonner, Shrufi, Rozen (1995) (Correct)
0.1: LabFlow-1: a Database Benchmark for High-Throughput.. - Bonner, Shrufi, Rozen (1995) (Correct)
Related documents from co-citation: More All
2: Query optimization for semistructured data using path constraints in a determini.. - Buneman, Fan et al. - 1999
2: Logic based modeling and analysis of workflows - Davulcu, Kifer et al. - 1998
2: The workflow reference model (context) - Hollingsworth - 1994
BibTeX entry: (Update)
A. J. Bonner. "Workflow, transactions and datalog". In Proc. 18th ACM Symp. on Principles of Database Systems (PODS'99), 1999. http://citeseer.ist.psu.edu/50366.html More
@misc{ bonner99workflow,
author = "A. Bonner",
title = "Workflow, transactions and datalog",
text = "A. J. Bonner. Workflow, transactions and datalog. In Proc. 18th ACM Symp.
on Principles of Database Systems (PODS'99), 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/50366.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1174 StateCharts: A Visual Formalism for Complex Systems - Harel - 1987
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
951 Computational Complexity (context) - Papadimitriou - 1994
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
854 Information and Computation (context) - Milner, Parrow et al. - 1992
725 Temporal and modal logic (context) - Emerson - 1990
299 An Algebraic Theory of Processes (context) - Hennessy - 1988
283 An overview of workflow management: From process modeling to.. - Georgakopoulos, Hornick et al. - 1995
267 Computer Aided Verification of Coordinating Processes (context) - Kurshan - 1994
254 Database Transaction Models for Advanced Applications (context) - Elmagarmid - 1992
247 A family of concurrent logic programming languages (context) - Shapiro - 1989
198 Structure and complexity of relational queries - Chandra, Harel - 1982
189 Computable queries for relational databases - Chandra, Harel - 1980
168 Petri Nets: An Introduction (context) - Reisig - 1985
155 Algebra of communicating processes with abstraction (context) - Bergstra, Klop - 1985
139 Cambridge University Press (context) - Baeten, Weijland - 1990
124 Datalog extensions for database queries and updates (context) - Abiteboul, Vianu - 1991
124 Journal of ACM (context) - Chandra, Kozen et al. - 1981
101 Specifying and enforcing intertask dependencies - Attie, Singh et al. - 1993
86 Specification and execution of transactional workflows - Rusinkiewicz, Sheth - 1994
69 Free Choice Petri Nets (context) - Desel - 1995
61 Transaction logic programming - Bonner, Kifer - 1993
53 SIAM Journal of Computing (context) - Baker, Gill et al. - 1975
50 a new frontier (context) - Abiteboul - 1988
47 Concurrency and communication in transaction logic - Bonner, Kifer - 1996
44 Procedural languages for database queries and updates (context) - Abiteboul, Vianu - 1990
35 A formal foundation for distributed workflow execution based.. - Wodtke, Weikum - 1997
34 Modeling and analysis of workflows using Petri nets (context) - Adam, Atluri et al. - 1998
34 Complexity of some problems in Petri nets (context) - Jones, Landweber et al. - 1977
33 Finite Representations of CCS and TCSP Programs by Automata .. (context) - Taubner - 1989
30 the power of bounded concurrency i: Finite automata - Drusinsky, Harel - 1994
29 Third generation TP monitors: A database challenge (context) - Dayal, Garcia-Molina et al. - 1993
25 High Level Petri Nets (context) - Jensen, Rozenberg - 1991
21 Deciding bisimilarity is P-complete (context) - Balcazar, Gabarro et al. - 1992
21 Relational transducers for electronic commerce - Abiteboul, Vianu et al. - 1998
19 Introduction to Groupware (context) - Khoshafian, Buckiewicz - 1995
17 Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty et al. - 1989
17 Transactions in transactional workflows - Worah, Sheth - 1997
16 Logic based modeling and analysis of workflows - Davulcu, Kifer et al. - 1998
14 Kluwer Academic Publishers (context) - Jajodia, Kerschberg et al. - 1997
13 the complexity of verifying concurrent transition systems - Harel, Kupferman et al. - 1997
12 Special issue on the Human Genome Project (context) - ACM - 1991
9 the power of bounded concurrency ii: Pushdown automata (context) - Hirst, Harel - 1994
8 the power of bounded concurrency iii: Reasoning about progra.. (context) - Harel, Rosner et al. - 1990
8 Bulletin of the Technical Committee on Data Engineering (context) - on, systems - 1995
8 Bulletin of the Technical Committee on Data Engineering (context) - on, extended - 1993
6 Concurrency Control and Recovery in Databases (context) - Bernstein, Hadzilacos et al. - 1987
6 Special issue on software support for workflow management (context) - Bukhres, Kueshn - 1995
6 Colored Petri Nets (context) - Jensen - 1996
6 A thesis for bounded concurrency (context) - Harel - 1989
4 Complexity of expressions allowing concurrency (context) - Ogden, Riddle et al. - 1978
4 Implementation and Performance of Transaction Logic in Prolo.. - Hung - 1996
2 Database requirements for workflow management in a high-thro.. - Bonner, Shrufi et al. - 1996
1 Implementation of Concurrent Transaction Logic (context) - Sleghel
1 Presented at the Dagstuhl Seminar on Transactional Workflows (context) - Bonner, logic - 1996
1 From database programming to business process programming (context) - Dayal, Chen - 1995
1 Special issue on process algebra (context) - Christensen, Hirshfeld et al. - 1994
1 Long version available at http://www (context) - Bonner, transactions et al.
1 Benchmarking object-oriented DBMSs for workflow management - Bonner, Shrufi et al. - 1995
Documents on the same site (http://www.db.toronto.edu:8020/people/bonner/papers.html): More
Adding Negation-as-Failure to Intuitionistic Logic Programming - Bonner, McCarty (1992) (Correct)
A Flexible Approach to Genome Map Assembly - Harley, Bonner (1994) (Correct)
Hypothetical Datalog: Complexity and Expressibility - Bonner (1988) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC