ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Better Termination Analysis for Active Databases
Workshops in Computing - Rules in Database Systems
◽
10.1007/978-1-4471-3225-7_10
◽
1994
◽
pp. 163-179
◽
Cited By ~ 10
Author(s):
Elena Baralis
◽
Stefano Ceri
◽
Jennifer Widom
Keyword(s):
Active Databases
◽
Termination Analysis
Download Full-text
Related Documents
Cited By
References
Termination analysis in active databases
Proceedings. IDEAS'99. International Database Engineering and Applications Symposium (Cat. No.PR00265)
◽
10.1109/ideas.1999.787279
◽
2003
◽
Cited By ~ 4
Author(s):
D. Montesi
◽
M. Bagnato
◽
C. Dallera
Keyword(s):
Active Databases
◽
Termination Analysis
Download Full-text
Termination Analysis in Active Databases by Using Evolution Graphs
2005 International Conference on Information and Communication Technology
◽
10.1109/itict.2005.1609665
◽
2006
◽
Author(s):
H. Harb
◽
H. Kelash
◽
A. Shehata
Keyword(s):
Active Databases
◽
Termination Analysis
Download Full-text
Termination Analysis for Active Rule Set Based on Triggering Path
Chinese Journal of Computers
◽
10.3724/sp.j.1016.2012.00065
◽
2012
◽
Vol 35
(1)
◽
pp. 65-75
◽
Cited By ~ 1
Author(s):
Wei XIONG
◽
Ye WU
◽
Zhen ZHANG
◽
Qiu-Yun WU
Keyword(s):
Termination Analysis
◽
Rule Set
◽
Active Rule
Download Full-text
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies - WEWST '10
◽
10.1145/1883133.1883137
◽
2010
◽
Cited By ~ 6
Author(s):
Mandy Weißbach
◽
Wolf Zimmermann
Keyword(s):
Business Process
◽
Termination Analysis
Download Full-text
Termination analysis of floating-point programs using parameterizable rational approximations
Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16
◽
10.1145/2851613.2851834
◽
2016
◽
Cited By ~ 3
Author(s):
Fonenantsoa Maurica
◽
Frédéric Mesnard
◽
Étienne Payet
Keyword(s):
Floating Point
◽
Rational Approximations
◽
Termination Analysis
Download Full-text
Termination Analysis by Learning Terminating Programs
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-319-08867-9_53
◽
2014
◽
pp. 797-813
◽
Cited By ~ 26
Author(s):
Matthias Heizmann
◽
Jochen Hoenicke
◽
Andreas Podelski
Keyword(s):
Termination Analysis
Download Full-text
Termination Analysis of Model Transformations by Petri Nets
Lecture Notes in Computer Science - Graph Transformations
◽
10.1007/11841883_19
◽
2006
◽
pp. 260-274
◽
Cited By ~ 30
Author(s):
Dániel Varró
◽
Szilvia Varró–Gyapay
◽
Hartmut Ehrig
◽
Ulrike Prange
◽
Gabriele Taentzer
Keyword(s):
Petri Nets
◽
Model Transformations
◽
Termination Analysis
Download Full-text
Lifted termination analysis by abstract interpretation and its applications
10.1145/3486609.3487202
◽
2021
◽
Author(s):
Aleksandar S. Dimovski
Keyword(s):
Abstract Interpretation
◽
Termination Analysis
Download Full-text
Deductive and Active Databases
Parallel, Object-Oriented, and Active Knowledge Base Systems
◽
10.1007/978-1-4757-6134-4_2
◽
1998
◽
pp. 13-25
Author(s):
Ioannis Vlahavas
◽
Nick Bassiliades
Keyword(s):
Active Databases
Download Full-text
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Automated Deduction – CADE-22 - Lecture Notes in Computer Science
◽
10.1007/978-3-642-02959-2_25
◽
2009
◽
pp. 322-338
◽
Cited By ~ 2
Author(s):
Stephan Swiderski
◽
Michael Parting
◽
Jürgen Giesl
◽
Carsten Fuhs
◽
Peter Schneider-Kamp
Keyword(s):
Theorem Proving
◽
Termination Analysis
◽
Inductive Theorem Proving
◽
Dependency Pairs
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close