Simplification of Database Integrity Constraints Revisited: A Transformational Approach-Reference-Cited by-同舟云学术

Simplification of Database Integrity Constraints Revisited: A Transformational Approach

Published:2004 Issue: Volume: Page:178-197
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Christiansen Henning,Martinenghi Davide

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25938-1_16.pdf

Reference23 articles.

1. Advances in Soft Computing series;S. Abdennadher,2000

2. Christiansen, H.: Automated reasoning with a constraint-based metainterpreter. Journal of Logic Programming 37(1-3), 213–253 (1998)

3. Christiansen, H.: Integrity constraints and constraint logic programming (Invited talk). In: Proceedings of the 12th International Conference on Application of Prolog, INAP 1999, pp. 5–12. Science University of Tokyo, Japan (1999)

4. Chakravarthy, U., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Transactions on Database Systems (TODS) 15(2), 162–207 (1990)

5. Christiansen, H., Martinenghi, D.: Symbolic constraints for meta-logic programming. Journal of Applied Artificial Intelligence 14, 345–367 (2000)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Integrity Checking for Databases with Recursive Views;Advances in Databases and Information Systems;2005

2. Transaction Management with Integrity Checking;Lecture Notes in Computer Science;2005

3. Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins;Flexible Query Answering Systems;2004