Filters








886 Hits in 6.1 sec

Fixpoint strategies for deductive databases

Irène Guessarian
1989 Discrete Applied Mathematics  
Very often, the rules of the deductive database are simple transcripts of the properties of the data items one is trying to define, and hence are recursive rules.  ...  Introduction Deductive databases (see [8] ) extend relational databases in the following sense: they consist not only of the extensional definitions of the facts in the database, but also of an intensional  ... 
doi:10.1016/0166-218x(92)90278-i fatcat:diq5jskopre5lmdce3j6tfidpq

A survey of deductive database systems

Raghu Ramakrishnan, Jeffrey D. Ullman
1995 The Journal of Logic Programming  
The work on regular recursions was developed further in [71] . Many of the important contributions to coping with negation and aggregation in logical rules were also made by the project.  ...  Iterative Fixpoint Evaluation Most rule-rewriting techniques like magic-sets expect implementation of the rewritten rules by a bottom-up technique, where starting with the facts in the database, we repeatedly  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

Graph Processing in RDBMSs

Kangfei Zhao, Jeffrey Xu Yu
2017 IEEE Data Engineering Bulletin  
We revisit SQL recursive queries and show that the 4 operations with others are ensured to have a fixpoint, following the techniques studied in DATALOG, and we enhance the recursive with clause in SQL'  ...  RDBMSs are capable of dealing with graph processing in reasonable time.  ...  A survey of early deductive database systems can be found in [56] . LDL++ is a deductive database system in which negation and aggregation handling in recursive rules are addressed [71, 14] .  ... 
dblp:journals/debu/ZhaoY17 fatcat:pas7iekbgjaghkms2l4qgftiiq

GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES

SERGIO GRECO, DOMENICO SACCÀ, CARLO ZANIOLO
1999 International Journal of Foundations of Computer Science  
The critical problem of finding efficient implementations for recursive queries with bound arguments offers many open challenges of practical and theoretical import.  ...  The proposed method generalizes and unifies previous techniques such as the 'counting' and 'right-, left-, mixed-linear' methods.  ...  Introduction Motivations In the last decade, bottom-up evaluation of logic programs has been favored by deductive database applications over the traditional top-down approaches [31] .  ... 
doi:10.1142/s0129054199000253 fatcat:bea37siforcuzk66cnb5notoxq

Necessary and sufficient conditions to linearize doubly recursive programs in logic databases

Weining Zhang, Clement T. Yu, Daniel Troy
1990 ACM Transactions on Database Systems  
Linearization of nonlinear recursive programs is an important issue in logic databases for both practical and theoretical reasons.  ...  We provide a set of necessary and sufficient conditions for a simple doubly recursive program to be equivalent to a simple linear recursive program.  ...  We are grateful to Won Kim for his suggestions, which led to improvements in the readability of this paper. This research was supported in part by NSF under grant IRI-8901789.  ... 
doi:10.1145/88636.89237 fatcat:6nrtwatouzdjrown2zmbxjw2ou

Generalization of ZYT-linearizability for bilinear datalog programs

Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung-Wan Cho
2004 Information and Computation  
The test of the sufficient conditions is exponential in the size of the input datalog program, which is, however, usually very small compared with the size of the extensional database in deductive database  ...  RLF-linearizability is a generalization of ZYT-linearizability since RLF-linearizability deals with general bilinear datalog programs consisting of multiple bilinear and linear rules.  ...  Acknowledgment This work was partially supported by the Korea Science and Engineering Foundation (KOSEF) through the Software Research Center (SOREC) at Chungnam National University, and through the Advanced  ... 
doi:10.1016/s0890-5401(03)00172-x fatcat:zxvckei45varnoxwj4276grrti

Structural Health Monitoring by Recursive Bayesian Filtering

Yangbo Chen, Maria Q. Feng
2009 Journal of engineering mechanics  
The central difference filter, as an example of the new versions of RBF, is implemented in this study, with the adaptation of a convergence and consistency improvement technique.  ...  Such a model of a structure is essential in evaluating its current condition and predicting its future performance in a probabilistic context.  ...  Acknowledgments This research is supported by Caltrans, under Contract No. 59A0311, and managed by Mr. Li-Hong Sheng.  ... 
doi:10.1061/(asce)0733-9399(2009)135:4(231) fatcat:as5gzmvrarc27owjthgg22oqlu

All-in-One

Kangfei Zhao, Jeffrey Xu Yu
2017 Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17  
We revisit SQL recursive queries and show that the 4 operations with others are ensured to have a fixpoint, following the techniques studied in DATALOG, and enhance the recursive with clause in SQL'99.  ...  We show that RDBMSs are capable of dealing with graph processing in reasonable time. The focus of this work is at SQL level.  ...  A survey of early deductive database systems can be found in [47] . LDL++ is a deductive database system in which negation and aggregation handling in recursive rules are addressed [62, 11] .  ... 
doi:10.1145/3035918.3035943 dblp:conf/sigmod/ZhaoY17 fatcat:zzl7b25kqrf4thrqlwxrstk444

Reduction and decomposition of differential automata: Theory and applications [chapter]

Alexey S. Matveev, Andrey V. Savkin
1998 Lecture Notes in Computer Science  
Graphical Solution: Reduction of game problem to LPP. Operation Research, Theory and Application by J.K. Sharma, Macmillan India Quantitative techniques in Management by N. D.  ...  , Growth of Functions Recursive Functions. 3.  ... 
doi:10.1007/3-540-64358-3_48 fatcat:hqwvar3zbfftdhg4cybpjwogde

The Vadalog system

Luigi Bellomarini, Emanuel Sallinger, Georg Gottlob
2018 Proceedings of the VLDB Endowment  
Over the past years, there has been a resurgence of Datalog-based systems in the database community as well as in industry.  ...  We also provide a comprehensive experimental evaluation. PVLDB Reference Format: Luigi Bellomarini, Emanuel Sallinger, and Georg Gottlob.  ...  The work on this paper was supported by EP-SRC programme grant EP/M025268/1 VADA. The Vadalog system as presented here is IP of the University of Oxford.  ... 
doi:10.14778/3213880.3213888 fatcat:cbkkhqm2mfhihht76fo6bq5mne

Index—Volumes 1–89

1997 Artificial Intelligence  
chains 1169 random -254 randomly generated -1253 refutation -80 regular -254 representation of programs by -172 resolution -10 strong1 y regular -254 undirected -626 with cycles 1054 [See also  ...  by a -67 1 database systems 533, 623 interacting with -533 research 623 database updates 395 database updating desiderata for -1375 rational -1375 databases 301,686,1 i 14 CAD -1037 closed  ...  mathematics of non-monotonic-150 mechanism 381 mechanized formal -152 meta-level -185 method geometric -12 17 methods choices of -1157 models inexact -906 multiple inheritance -966 multiple lines of -  ... 
doi:10.1016/s0004-3702(97)80122-1 fatcat:6az7xycuifaerl7kmv7l3x6rpm

Linearizing some recursive logic programs

I. Guessarian, J.-E. Pin
1995 IEEE Transactions on Knowledge and Data Engineering  
bodies of the rules is equivalent to a linear program containing at most one recursive call in the bodies of the rules.  ...  We then apply that condition to recursive logic programs containing chain rules: we translate it into a sufficient condition under which a recursive logic program containing n ≥ 2 recursive calls in the  ...  Acknowledgements The authors would like to thank the anonymous referees for their insightful reading and their numerous suggestions to improve the quality of this paper.  ... 
doi:10.1109/69.368513 fatcat:vkztqzhqrfey5fzdqqg64j7nja

Semi-Supervised Hybrid Local Kernel Regression for Soft Sensor Modelling of Rubber-Mixing Process

Haiqing Yu, Jun Ji, Ping Li, Fengjing Shao, Shunyao Wu, Yi Sui, Shujing Li, Fengjiao He, Jinming Liu
2020 Advances in Polymer Technology  
Compared with classical algorithms, the performance of SHLKR is evaluated and the contribution of unlabelled samples is discussed.  ...  Soft sensor techniques have been widely adopted in chemical industry to estimate important indices that cannot be online measured by hardware sensors.  ...  To enhance its feasibility, corresponding recursive calculation formulas are deducted.  ... 
doi:10.1155/2020/6981302 fatcat:jvotdsc2mfh6rnczo7jyljibim

Linearisability on datalog programs

Foto Afrati, Manolis Gergatsoulis, Francesca Toni
2003 Theoretical Computer Science  
(b) We identify a new class of linearisable chain queries, referred to as pseudo-regular, and prove their linearisability constructively, by generating, for any given pseudo-regular chain query, the Datalog  ...  be transformed into linear Datalog programs, by virtue of a procedure which performs the transformation automatically.  ...  widely studied in the (deductive) database community, e.g. by [23, 33, 14] .  ... 
doi:10.1016/s0304-3975(02)00730-2 fatcat:mlr4atwlzbbctfuuy5ewilyq6q

The Vadalog System: Datalog-based Reasoning for Knowledge Graphs [article]

Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
2018 arXiv   pre-print
Over the past years, there has been a resurgence of Datalog-based systems in the database community as well as in industry.  ...  We also provide a comprehensive experimental evaluation.  ...  The work on this paper was supported by EP-SRC programme grant EP/M025268/1 VADA. The Vadalog system as presented here is IP of the University of Oxford.  ... 
arXiv:1807.08709v1 fatcat:zl5eek7dxzcola2rqmpyp5vf3e
« Previous Showing results 1 — 15 out of 886 results