Linearizing Datalog Programs with Multiple Bilinear Rules
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we consider linearization of nonlinear datalog programs with multiple bilinear rules and multiple linear rules. If a nonlinear program can be linearized, it is possible to process queries on the program efficiently by using well-known cost-effective techniques for linear programs. We define a transformation, called Right-Linear-First (RLF) transformation, for linearizing such nonlinear programs. A nonlinear program is RLF-linearizable if it is logically equivalent to its RLF-transformed program. We present three sufficient conditions called LCR-consistency, LCRN1-consistency, and LCRN2-consistency, for identifying such RLF-linearizable programs. These conditions can be tested in polynomial time. Our work presented in this paper extends the work on ZYT-linearizability in a sense that RLF-linearizability considers multiple bilinear rules with multiple linear rules.
- 社団法人電子情報通信学会の論文
- 2000-04-25
著者
-
Hong Ki-hyung
The Author Is With The School Of Computer Science And Engineering Sungshin Women's University R
-
Hong Ki-hyung
The School Of Computer Sicence And Engineering Sungshin Women's University Republic Of Korea
-
Whang Kyu-young
The Authors Are With The Electronic Engineering And Computer Science Department Division Of Computer
-
Whang Kyu-young
The Author Is With The Department Of Computer Science Korea Advanced Institute Of Science And Techno
-
KANG Ji-Hoon
The author is with the Department of Computer Science, Chungnam National University, Republic of Kor
-
CHO Jung-Wan
The author is with the Department of Computer Science, Korea Advanced Institute of Science and Techn
-
Kang Ji-hoon
The Author Is With The Department Of Computer Science Chungnam National University Republic Of Korea
-
Cho Jung-wan
The Author Is With The Department Of Computer Science Korea Advanced Institute Of Science And Techno
関連論文
- Linearizing Datalog Programs with Multiple Bilinear Rules
- Index Interpolation: A Subsequence Matching Algorithm Supporting Moving Average Transform of Arbitrary Order in Time-Series Databases