Efficient Retrieval of Similar Time Sequences Using DFT

We propose an improvement of the known DFT-based indexing technique for fast retrieval of similar time sequences. We use the last few Fourier coefficients in the distance computation without storing them in the index since every coefficient at the end is the complex conjugate of a coefficient at the beginning and as strong as its counterpart. We show analytically that this observation can accelerate the search time of the index by more than a factor of two. This result was confirmed by our experiments, which were carried out on real stock prices and synthetic data

Updates and Subjunctive Queries

AbstractA subjunctive query of the form φ > ψ, means "if φ were true in the knowledgebase, would ψ also necessarily be true?" We propose the following semantics for subjunctive queries: φ > ψ, will hold in the current knowledgebase T if ψ holds in the result of updating T with φ. This is known as the Ramsey test in philosophy. We adapt the model checking approach of Halpern and Vardi: A knowledgebase is a finite set of finite sets of positive facts interpreted in a closed world setting. We then use Winslett′s possible models approach to give semantics to knowledgebase updates, and we introduce a query language which is essentially propositional logic, augmented with a subjunctive conditional that has an intensional interpretation in our model. We show that query answering and update can be performed in time polynomial in the size of the knowledgebase. However, query equivalence is shown to be complete in polynomial space, and this is also the complexity of query answering as a function of query size. We give a sound axiomatization of query equivalence and show that the update operator satisfies the postulates for updates adapted by Katsuno and Mendelzon from the Alchourrón-Gärdenfors-Makinson belief revision postulates

Path constraints in semistructured databases

AbstractWe investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically expressed as part of the schema, but in semistructured data there is no explicit schema and path constraints provide a natural alternative. As with structured data, path constraints on semistructured data express integrity constraints associated with the semantics of data and are important in query optimization. We show that in semistructured databases, despite the simple syntax of the constraints, their associated implication problem is r.e. complete and finite implication problem is co-r.e. complete. However, we establish the decidability of the implication and finite implication problems for several fragments of the path constraint language and demonstrate that these fragments suffice to express important semantic information such as extent constraints, inverse relationships, and local database constraints commonly found in object-oriented databases

Tailoring temporal description logics for reasoning over temporal conceptual models

Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the literature. On the other hand, reasoning on temporally extended DLs turn out to be too complex for effective reasoning ranging from 2ExpTime up to undecidable languages. We propose here to temporalize the ‘light-weight’ DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-Lite^N_bool, which was shown to be adequate for capturing non-temporal conceptual models without relationship inclusion, and its fragment DL-Lite^N_core with most primitive concept inclusions, which are nevertheless enough to represent almost all types of atemporal constraints (apart from covering)