机构:
Inst Teknol Bandung, Sch Elect Engn & Informat, Bachelor Informat, Bandung, IndonesiaInst Teknol Bandung, Sch Elect Engn & Informat, Bachelor Informat, Bandung, Indonesia
Isakh, Rafi Ramadhan
[1
]
Widagdo, Tricya E.
论文数: 0引用数: 0
h-index: 0
机构:
Inst Teknol Bandung, Sch Elect Engn & Informat, Bandung, IndonesiaInst Teknol Bandung, Sch Elect Engn & Informat, Bachelor Informat, Bandung, Indonesia
Widagdo, Tricya E.
[2
]
机构:
[1] Inst Teknol Bandung, Sch Elect Engn & Informat, Bachelor Informat, Bandung, Indonesia
[2] Inst Teknol Bandung, Sch Elect Engn & Informat, Bandung, Indonesia
business rule;
rule modeling;
instance checking;
first-order logic;
D O I:
暂无
中图分类号:
TP31 [计算机软件];
学科分类号:
081202 ;
0835 ;
摘要:
Business rules handling is very essential for organization's operational needs. In order to increase efficiency and optimize operational cost, many organizations try to convert their business process into a computer-based system. Therefore, we need a model of business rule in order to maintain the business rules in the system. The aim of this paper is to capture business rules into the computer-based system, particularly on modeling the business rules in the relational model. First-order logic notation will be applied as an approach to model the business rules. This model will be used to store business rules in the database and also to check the data instances in operational databases. The checking results will be reported in the form of log files. As a result of a data checking process, the system can determine whether a data instance comply with the business rules or not.
机构:
Universität Jena, Germany
Berufsakademie Thüringen - Staatliche Studienakademie Gera, Berliner Str. 155, Gera,D-07546, GermanyUniversität Jena, Germany
Dorendorf, Stefan
Küspert, Klaus
论文数: 0引用数: 0
h-index: 0
机构:
Universität Jena, Germany
Friedrich-Schiller-Universität Jena, Institut für Informatik, Lehrstuhl für Datenbanken und Informationssysteme, Ernst-Abbe- Platz 1-4, Jena,D-07743, GermanyUniversität Jena, Germany
Küspert, Klaus
IT - Information Technology,
2000,
42
(03):
: 18
-
25