34835412
A Relational Data Language with Simplified Binary Relation Handling Capability
In order to develop a general purpose research information system, we have introduced a new relational data language RLB (Relational data Language with simplified Binary relation handling capability), which can handle bibliographic data as well as data handled by ordinary data base systems. RLB is based on relational calculus introduced by Codd, but allows queries to be written in relatively high level expressions by defining and using proper binary relations over a set of n-ary relations. The characteristics of this language are as follows: (1) Binary relations between attributes or compound attributes can be defined and used to formulate queries; (2) Familiar operations for binary relations such as a concatenation, a closure operation, Boolean operations and comparison operators are provided to simplify queries; (3) Binary relations are classified into several types by their corresponding graphs. This classification can be used for checking storage operations such as updating, insertion and deletion, as well as for selecting efficient physical storage structures; (4) Dependencies between attributes are also regarded as binary relations and thus, they are classified for the same objectives described in (3). In this classification, functional dependencies, multivalued dependencies and set - set dependencies are contained; (5) It can provide several facilities similar to mapping oriented languages (for example, SEQUEL) or network model based languages (for example, LSL). Furthermore, an output system for binary relations between domain compatible attributes is also described, which produces a tree expansion of the given graph.
205099974
Organization of quasi-consecutive retrieval files
Abstract In 1972, Ghosh introduced the consecutive retrieval (CR) file organization. It is an efficient file organization in which all records pertinent to a query are consecutively stored on linear storage locations. In this paper, we introduce the quasi-consecutive retrieval (QCR) file organization. The QCR file organization is an extension of Ghosh's CR file organization and normally offers less redundancy. In the QCR file, all the records pertinent to each query are not necessarily stored consecutively, but rather they are stored within an area of the buffer size. In this paper, we discuss graph theoretic properties of CR files and QCR files by using the properties of interval graphs well known in graph theory. We provide a basic condition for the existence of a QCR file without redundancy for a given buffer size. By introducing redundant queries, such a condition is simplified. Furthermore, a heuristic computer algorithm is given to organize a QCR file with less redundancy for a given buffer size.
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. >
5408151
Alternative Objects in Object-oriented Databases
46335278
Tree-Structured Data Organization with Consecutive Retrieval Property
COMP2011 Aleksandar Ignjatovic 2005 c 2 Figure 1: A medieval copy of arguably the most influential textbook ever written, Eu-clid's Elements (Στoι χε´ια), from about 300 BC. It contains the oldest known algorithm recorded, Euclid's algorithm for computing the Greatest Common Divisor (GCD) of two natural numbers. Figure 2: First data structures: a Mesopotamian cuneiform tablet from about 3000 BC with an inventory list. Preface This booklet is not meant to be a textbook, but only a companion to the textbook that we use in this course, Cormen, Leiserson, Rivest and Stein's Introduction to Algorithms, the second edition. Its purpose is to help you read the appropriate sections of the textbook, and integrate it better with the rest of the course. It also adds a number of exercises not present in the textbook. Please read the textbook and do not rely on this supplement only.
1810071
Testing of Join Dependency Preserving by a Modified Chase Method
8895020
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic
Abstract.By RCA0, we denote a subsystem of second order arithmetic based on Δ01 comprehension and Δ01 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA0.
7133208
Statistical Learning Procedure in Loopy Belief Propagation for Probabilistic Image Processing
We give a fast and practical algorithm for statistical learning hyperparameters from observable data in probabilistic image processing, which is based on Gaussian graphical model and maximum likelihood estimation. Although hyperparameters in the probabilistic model are determined so as to maximize a marginal likelihood, a practical algorithm is described for the EM algorithm with the loopy belief propagation which is one of approximate inference algorithms in artificial intelligence
35660731
Some Properties of Fuzzy Sets of Type 2
The concept of fuzzy sets of type 2 has been defined by L. A. Zadeh as an extension of ordinary fuzzy sets. The fuzzy set of type 2 can be characterized by a fuzzy membership function the grade (or fuzzy grade) of which is a fuzzy set in the unit interval [0, 1] rather than a point in [0, 1]. This paper investigates the algebraic structures of fuzzy grades under the operations of join ⊔, meet ⊔, and negation ┐ which are defined by using the extension principle, and shows that convex fuzzy grades form a commutative semiring and normal convex fuzzy grades form a distributive lattice under ⊔ and ⊓. Moreover, the algebraic properties of fuzzy grades under the operations and which are slightly different from ⊔ and ⊓, respectively, are briefly discussed.
3247078
Individual Level Analysis Using Decision Making Features in Multiagent Based Simulation
We introduce a set of evaluation tools in the framework of individual level analysis for multiagent based simulations. These tools are intended to overcome the weak points of multiagent systems: that it is difficult to avoid mistakes in description and arbitrary modeling; and to find reliable explanations of causal relationships between the model and its result. We analyze some artificial market models using an evaluation process that consists of the evaluation of initial learning maturity, discrimination between models, and the visualization of attention tendency in a group. We conclude that these analytical methods are useful for the evaluation of multiagent based simulations in terms of validation and finding causal relations.
43363560
Adaptive Dynamic Voltage Scaling for Real-Time Systems