The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, called database semantics (cf. Hausser 1999/2001). The intuitive approach proceeds from the interfaces of a cognitive agent’s recognition and action, the levels of language and context, the nature of concepts, and the rec...

We describe the use of database dependency theory for investigating software designs. Dependency theory captures some of the essential constraints implicit in a system, and focuses attention on its update properties. The fundamental choice between redundancy and normalization is directly related to the issue of reuse. We show how dependency theory can be applied to the design of text editors an...

We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computability results concerning movies: it can be decided whether a frame of a movie is only a topologically transformation of another frame; a movie has a finite number of scenes and cuts and these can be effectively computed. Ba...

When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing to reach all benefits. Be sure and surely do to take this the theory of database concurrency control that gives the best reasons to read. When you really need to get the reason why, this the theory of database concurrency control book will probably make you feel curi...

Industry analysts describe Big Data in terms of three V’s: volume, velocity, variety. The data is too big to process with current tools; it arrives too fast for optimal storage and indexing; and it is too heterogeneous to fit into a rigid schema. There is a huge pressure on database researchers to study, explain, and solve the technical challenges in big data, but we find no inspiration in the ...

We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under transformat...

Advances in the area of active database management systems require the development of a trigger design theory, which guides the user in the deenition oo well-behaving trigger based applications. The development of such a theory requires a formal deenition of trigger semantics. This paper describes a framework for such a formalisation of triggers. That is, the parameters of trigger execution and...

This paper presents two basic operations, Separation and Data federation, for database schemas that are used in database mapping systems and explains why functorial semantics for database mappings need a new base category instead of usual Set category. A definition of graph G for a schema database mapping system and the definition of its sketch category Sch(G) are presented. Based on this frame...

database in depth relational theory for practitioners What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. And do you know...