1810071
Testing of Join Dependency Preserving by a Modified Chase Method
29360261
Towards Abstracting Complex Database Objects: Generalization, Reduction and Unification of Set-type Objects (Extended Abstract)
Representing and manipulating complex (database) objects are important issues in the semantic database models and object-oriented database models, most of which have a rich expressive power for complex objects. In this paper, we will focus on the manipulation of complex objects, and introduce the notions and the operations for abstracting complex objects. We introduce the notion of "element-based" generalization relationships between complex objects, and two new abstraction operators: reduction and unification. Their algebraic properties are then formally investigated especially for "set-type" complex objects.
5205647
Problems of Relational Database Design
In the logical design of a relational database, the theory of data dependencies has been playing an important role. Data depenencies are integrity constraints concerned with attribute relationships. The theory of functional dependencies (FDs) were successful to capture the important aspects of relational database design: semantics of data and logical scheme design (normalization). Several problems of FDs have been also pointed out, and many kinds of new dependencies have been introduced as the generalizations of FDs. Each of the researches on the theory of the new dependencies, semantics of data and the logical scheme design has made a great progress with few sufficient interactions. This leads to several problems when the data dependency theory is used in the actual relational database design.
18193868
Interval Queries on Object Histories: Extended Abstract
This extended abstract introduces the notion of ’ interval queries ’ on historical data for objects (here, called ‘object histories’) and explores a certain closure property. As for describing historical data for objects, we use our mathematical model introduced in our earlier paper. The major construct in the model is a ‘computation-tuple sequence scheme’ (abbreviated CSS), which specifies the set of all possible ‘valid’ object histories for the same type of object. Interval queries are those queries which return an interval (history) from a given object history. We provide conditions under which an interval query applied to object histories described by one CSS yields, as its answers. the set of all object histories which can be described by another CSS.
5408151
Alternative Objects in Object-oriented Databases
22236580
OVID: Design and Implementation of a Video-Object Database System
A video-object data model and the design and implementation of a prototype video-object database system named OVID based on the model are described. Notable features of the video-object data model are a mechanism to share common descriptional data among video-objects, called interval-inclusion based inheritance, and operations to composite video-objects. The OVID system offers a browsing/inspection tool called VideoChart, and adhoc query facility called VideoSQL, and a video-object definition tool. >
2198276
Coupled Markov random field models with phases as line field and region field
We investigate a boundary-based and a region-based coupled Markov random field model, both of which are useful in image restorations of gray-level images. In the conventional boundary-based and the conventional region-based coupled Markov random field models, both a line field and a region field take only two discrete states, 0 and 1. In the boundary-based coupled random field model, existence and nonexistence of the edge at each nearest-neighbor pair of pixels are denoted by 1 and 0, respectively. In the region-based coupled random field model, some different regions at each pixel are labeled by discrete numbers. We propose a boundary-based coupled Markov random field model with continuous line field and a region-based coupled Markov random field model with continuous segmentation field from a standpoint of a plane rotator model in statistical mechanics. The iterative algorithms for image restoration are constructed by using a mean-field approximation. We investigate how the proposed models produce a better quality of restored images. © 2003 Wiley Periodicals, Inc. Syst Comp Jpn, 34(7): 24–33, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/scj.10364
18847598
A method for panoramic stereo image acquisition
One of the key technologies for one-to-many visual communication is panoramic stereo, in which stereoscopic images for arbitrary horizontal directions are presented to multiple users, according to their positions and postures. In this paper, one of the methods for capturing panoramic stereo motion pictures is proposed and evaluated, along with an experimentation. Through preliminary experimentation, we have confirmed the effectiveness of methods using a curved mirror.
119404260
Probabilistic image processing based on the Q-Ising model by means of the mean-field method and loopy belief propagation
The framework is presented of Bayesian image restoration for multi-valued images by means of the Q-Ising model. Hyper parameters in the probabilistic model are determined so as to maximize the marginal likelihood. Practical algorithms are described based the conventional mean-field approximation and loopy belief propagation. We compare the results empirically with those provided by conventional filters and the new methods are found to be superior.
7016005
Non standard Analysis in WKL0
Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.
43363560
Adaptive Dynamic Voltage Scaling for Real-Time Systems