6,516 Result(s)
-
Chapter and Conference Paper
Some recent advances on the possibility measure theory
-
Chapter and Conference Paper
A proof-theoretic framework for nonmonotonic reasoning and logic programming
This paper proposes a general proof-theoretic framework, where negative literals in a query are proved by a new mechanism of negation-as-failure. This new mechanism handles nonground negative literals and thus...
-
Chapter and Conference Paper
An optimal parallel algorithm for the vertical segment visibility reporting problem
In this paper, we present a parallel algorithm for solving the all-pairs vertical segment visibility reporting (SVR) problem. Given a set S={S 0, S 1,...,S n−1} of disjoint vertical segments in the plane, the SVR...
-
Chapter and Conference Paper
Unordered tree contraction
The tree contraction problem is for reducing a rooted tree to its root by a sequence of independent vertex removals. All of the previous research works are concentrated on ordered rooted tree whereas in this p...
-
Chapter and Conference Paper
Incremental database design revisited
Three new classes of database schemes are defined. The class of weakly independent schemes is a generalization of independent schemes in a centralized environment. The classes of expansion-chased schemes and s...
-
Chapter and Conference Paper
Inheritance conflicts in object-oriented systems
Inheritance conflicts in class hierarchies are avoidable through design that considers application semantics. An algorithm, in the form of IF-THEN statements, is presented that resolves any name conflicts in c...
-
Chapter and Conference Paper
Improving integrity constraint checking for stratified deductive databases
Integrity checking for stratifiable deductive databases has been studied by many authors. In order to handle recursive relations, most of these methods adopt update driven approach to validate each given const...
-
Chapter and Conference Paper
Efficient storage structures for temporal object-oriented databases
Automatically managing the evolutionary histories of both schema and data is an attractive feature for temporal object-oriented database management systems (OODBMS). It can make the temporal OODBMSs more suita...
-
Chapter and Conference Paper
A normal form object-oriented entity relationship diagram
A normal form object-oriented entity relationship (OOER) diagram is presented to address a set of OO data modelling issues, viz. the inability to judge the quality of an OO schema, the presence of inheritance ...
-
Chapter and Conference Paper
The design of an integrated information system
This paper discusses a systematic approach of how to link hypertext, databases and a data modelling tool together to support users' complex application definitions and maintenance. The salient features of this...
-
Chapter and Conference Paper
LearnMedia: A co-operative intelligent tutoring system for learning multimedia
Intelligent Tutoring Systems (ITSs) have become increasingly important for enabling students to understand and solve specific problems. It is realised that today's state-of-the-art ITSs still lack the collabor...
-
Chapter and Conference Paper
An algebra for a temporal object data model
In this paper, we present a temporal object data model, which has been adapted from the unified model of OODB and RDB in UniSQL/X so that a time dimension can be easily added to form temporal relational-like c...
-
Chapter and Conference Paper
Toward a unified data model for large hypermedia applications
The major problem in using the current hypermedia mechanisms to support large applications is that the node and link structure is too simple to reveal the semantic connections among documents, and in particula...
-
Chapter and Conference Paper
Refined termination decision in active databases
Termination decision in trigger systems is important to make sure that any rule execution does not result in an infinite loop. In general, it is an undecidable task. Several recent works have been proposed to ...
-
Chapter and Conference Paper
Qualitative spatial relationships representation IO&T and its retrieval
We present in this paper, a qualitative spatial relationships representation scheme called IO&T which combines fuzzy Intrinsic Orientation and Topological spatial relationships, and a similarity measure based ...
-
Chapter and Conference Paper
D02: Deductive object-oriented database system
DO2 is a deductive object-oriented database developed at the National University of Singapore. The system aims to integrate deductive and object-oriented paradigms and use their advantages to overcome both the pa...
-
Chapter and Conference Paper
Extend Dexter model to capture more semantics of hypermedia
The hypermedia technology has been widely used in both industrial and academic areas for many years. The most successful example of using this technology is the Internet Web application. However, beyond such s...
-
Chapter and Conference Paper
Sustainability Knowledge Mining from Human Development Database
This paper is to expose the concealed sustainability information to users from UNDP annual report of human development database. Different from the “understanding database by computer”, the task is to tell use...
-
Chapter and Conference Paper
Cleansing Data for Mining and Warehousing
Given the rapid growth of data, it is important to extract, mine and discover useful information from databases and data warehouses. The process of data cleansing is crucial because of the “garbage in, garbage...
-
Chapter and Conference Paper
Visually Aided Exploration of Interesting Association Rules
Association rules are a class of important regularities in databases. They are found to be very useful in practical applications. However, the number of association rules discovered in a database can be huge, ...