Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Computer Engineering
Safe Stratified Datalog With Integer Order Programs, Peter Revesz
Safe Stratified Datalog With Integer Order Programs, Peter Revesz
CSE Conference and Workshop Papers
Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.
An Organizational Learning Approach To Domain Analysis, Scott Henninger, Kris Lappala, Anand Raghavendran
An Organizational Learning Approach To Domain Analysis, Scott Henninger, Kris Lappala, Anand Raghavendran
CSE Conference and Workshop Papers
As the application of computer technology continues to proliferate and diversify, the identification and understanding of application domains is becoming increasingly important to software development methodologies. Domain analysis techniques have been developed to accumulate and formalize the knowledge necessary for successful software reuse. These techniques have been shown to be useful, but suffer from defining the domain too restrictively, burying important relationships deep in domain taxonomies, and prohibiting flexible identification of domains with common issues. Techniques are needed that dynamically detect recurring patterns of activities in development projects. This paper presents a method for developing and refining the knowledge and …