Production scheduling in database production systems

Jaideep Srivastava, Jau Hwang Wang, Jack S Eddy Tan, Kuo Wei Hwang, Wei Tek Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

A framework for parallelizing both matching and execution phases of a production system is presented. It is shown how concurrency causes new problems, which, if not handled carefully, can lead to inconsistent semantics. A new kind of data conflict is identified as the root cause of this problem. A framework for ensuring correct parallel executions is developed. The performance of the system critically depends on the scheduling of productions, which should aim at maximizing the utilization of parallelism. The design of a pessimistic (careful) scheduler and an optimistic scheduler is discussed, and their proofs of correctness are provided.

Original languageEnglish
Title of host publicationProc First Int Conf Syst Integr ICSI 90
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages464-472
Number of pages9
ISBN (Print)0818690275
Publication statusPublished - 1990
Externally publishedYes
EventProceedings of the First International Conference on Systems Integration - ICSI '90 - Morristown, NJ, USA
Duration: 23 Apr 199026 Apr 1990

Other

OtherProceedings of the First International Conference on Systems Integration - ICSI '90
CityMorristown, NJ, USA
Period23/4/9026/4/90

Fingerprint

Scheduling
Semantics

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Srivastava, J., Wang, J. H., Tan, J. S. E., Hwang, K. W., & Tsai, W. T. (1990). Production scheduling in database production systems. In Proc First Int Conf Syst Integr ICSI 90 (pp. 464-472). Piscataway, NJ, United States: Publ by IEEE.

Production scheduling in database production systems. / Srivastava, Jaideep; Wang, Jau Hwang; Tan, Jack S Eddy; Hwang, Kuo Wei; Tsai, Wei Tek.

Proc First Int Conf Syst Integr ICSI 90. Piscataway, NJ, United States : Publ by IEEE, 1990. p. 464-472.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Srivastava, J, Wang, JH, Tan, JSE, Hwang, KW & Tsai, WT 1990, Production scheduling in database production systems. in Proc First Int Conf Syst Integr ICSI 90. Publ by IEEE, Piscataway, NJ, United States, pp. 464-472, Proceedings of the First International Conference on Systems Integration - ICSI '90, Morristown, NJ, USA, 23/4/90.
Srivastava J, Wang JH, Tan JSE, Hwang KW, Tsai WT. Production scheduling in database production systems. In Proc First Int Conf Syst Integr ICSI 90. Piscataway, NJ, United States: Publ by IEEE. 1990. p. 464-472
Srivastava, Jaideep ; Wang, Jau Hwang ; Tan, Jack S Eddy ; Hwang, Kuo Wei ; Tsai, Wei Tek. / Production scheduling in database production systems. Proc First Int Conf Syst Integr ICSI 90. Piscataway, NJ, United States : Publ by IEEE, 1990. pp. 464-472
@inproceedings{302dca7ca3af445996f647d5c100c9ce,
title = "Production scheduling in database production systems",
abstract = "A framework for parallelizing both matching and execution phases of a production system is presented. It is shown how concurrency causes new problems, which, if not handled carefully, can lead to inconsistent semantics. A new kind of data conflict is identified as the root cause of this problem. A framework for ensuring correct parallel executions is developed. The performance of the system critically depends on the scheduling of productions, which should aim at maximizing the utilization of parallelism. The design of a pessimistic (careful) scheduler and an optimistic scheduler is discussed, and their proofs of correctness are provided.",
author = "Jaideep Srivastava and Wang, {Jau Hwang} and Tan, {Jack S Eddy} and Hwang, {Kuo Wei} and Tsai, {Wei Tek}",
year = "1990",
language = "English",
isbn = "0818690275",
pages = "464--472",
booktitle = "Proc First Int Conf Syst Integr ICSI 90",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - Production scheduling in database production systems

AU - Srivastava, Jaideep

AU - Wang, Jau Hwang

AU - Tan, Jack S Eddy

AU - Hwang, Kuo Wei

AU - Tsai, Wei Tek

PY - 1990

Y1 - 1990

N2 - A framework for parallelizing both matching and execution phases of a production system is presented. It is shown how concurrency causes new problems, which, if not handled carefully, can lead to inconsistent semantics. A new kind of data conflict is identified as the root cause of this problem. A framework for ensuring correct parallel executions is developed. The performance of the system critically depends on the scheduling of productions, which should aim at maximizing the utilization of parallelism. The design of a pessimistic (careful) scheduler and an optimistic scheduler is discussed, and their proofs of correctness are provided.

AB - A framework for parallelizing both matching and execution phases of a production system is presented. It is shown how concurrency causes new problems, which, if not handled carefully, can lead to inconsistent semantics. A new kind of data conflict is identified as the root cause of this problem. A framework for ensuring correct parallel executions is developed. The performance of the system critically depends on the scheduling of productions, which should aim at maximizing the utilization of parallelism. The design of a pessimistic (careful) scheduler and an optimistic scheduler is discussed, and their proofs of correctness are provided.

UR - http://www.scopus.com/inward/record.url?scp=0025556682&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025556682&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025556682

SN - 0818690275

SP - 464

EP - 472

BT - Proc First Int Conf Syst Integr ICSI 90

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -