In many design applications, it is common practice to store complex hierarchical objects in a compact folded form to save storage space and to reduce processing costs for accessing the objects. In these folded representations, complex objects are built up from identical and otherwise indistinguishable design objects. However, it is often necessary, especially during the refinement of data, to d...

Natural morphogenesis, the process of evolutionary development and growth, derives polymorphic systems that obtain their complex form, organisation and versatility from the interaction of system intrinsic material capacities and external environmental influences and forces. One striking aspect of natural morphogenesis is that formation and materialisation processes are always inherently and ins...

While the idea of declarative debugging has been around for a quarter of a century, the technology still hasn’t been adopted by working programmers, even by those working in declarative languages. The reason is that making declarative debuggers practical requires solutions to a whole host of problems. In this paper we address one of these problems, which is that retaining a complete record of e...

Data analysis is task of competently digging out data insights even if user is uncertain but database systems unable to meet. User’s Iterative interactions with system might be an alternative. Interactive data exploration (IDE) is one such system, supports exploration by incorporating user intention. IDE is key ingredient of many discovery applications, such as scientific computing, financial a...

In this paper, we study the problem of incremental maintenance of materialized views when the view deenitions are allowed to contain: (a) constraints, and (b) well-founded modes of negation. A materialized view in our framework consists of a set of constrained non-ground tuples. We develop incremental algorithms to compute such non-ground materialized well-founded views, extending previous resu...