Daniel P. Miranker, Willard J. Briggs, Rui Mao, Shulin Ni, Weijia Xu, Arthur Kaufmann, ...
The Bulletin of the Technical Committee on Data Engineering is published quarterly and is distributed to all TC members. Its scope includes the design, implementation, modelling, theory and...
Emre Karakoc, Z. Meral Ozsoyoglu, Murat Tasan, Xiang Zhang, S. Cenk Sahinalp
In many biomolecular database applications involving string/sequence data, it is common to have similarity search in the form of near neighbor queries or nearest neighbor queries. The similarity...
Testing Satisfiability Of A Conjunction Of Inequalities (2007)
Naci Ishakbeyoglu, Z. Meral Ozsoyoglu
Conjunctions of inequality predicates, or inequalities for short, have been utilized to represent conjunctive queries and semantic integrity constraints in semantic query processing systems (Klug...
Naci S. Ishakbeyoglu, Z. Meral Ozsoyoglu
Abstract. Semantic integrity constraints are used for enforcing the integrity of the database as well as for improving the efficiency of the database utilization. Although semantic integrity...
1 Implication and Referential Constraints: A New Formal Reasoning (2007)
Xubo Zhang, Z. Meral Ozsoyoglu
In this paper, we address the issue of reasoning with two classes of commonly used semantic integrity constraints in database and knowledge--base systems: implication constraints and referential...
On Automated Lesson Construction from Electronic Textbooks (2004)
Gultekin Ozsoyoglu, Nevzat H. Balkir, Z. Meral Ozsoyoglu, Senior Member, Senior Member, Ieee Computer Society, ...
Abstract—An electronic book may be viewed as an application with a multimedia database. We define an electronic textbook as an electronic book that is used in conjunction with instructional...
Pathways Database System (2003)
During the next phase of the Human Genome Project, research will focus on functional studies of attributing functions to genes, their regulatory elements, and other DNA sequences. To facilitate the...
A Santos [1994], "Compilation by transformation in the Glasgow Haskell Compiler (2000)
Gultekin Ozsoyoglu, N. Hurkan Balkir, Graham Cormode, Z. Meral Ozsoyoglu
Abstract 1 Electronic book is an application with a multimedia database of instructional resources, which include hyperlinked text, instructor’s audio/video clips, slides, animation, still images,...
Electronic Books in Digital Libraries (2000)
Gultekin Ozsoyoglu, N. Hurkan Balkir, Graham Cormode, Z. Meral Ozsoyoglu
Electronic book is an application with a multimedia database of instructional resources, which include hyperlinked text, instructor's audio/video clips, slides, animation, still images, etc. as...
Constructing Partial and Complete Intelligent Answers for Recursive Queries (1995)
Xubo Zhang, Z. Meral Ozsoyoglu
In this paper we study the issue of providing intelligent answers to recursive queries initially proposed in [Imie88]. In contrast to conventional query answers, which are sets of tuples, intelligent...
Some results on the containment and minimization of (in)equality queries (1994)
Xubo Zhang, Z. Meral Ozsoyoglu
Abstract. The containment and minimization of conjunctive queries are two basic problems of query optimization in relational and deductive databases. For equality queries, the problems are...
Some Results on the Containment and Minimization of (In)equality Queries (1994)
Xubo Zhang, Z. Meral Ozsoyoglu
. The containment and minimization of conjunctive queries are two basic problems of query optimization in relational and deductive databases. For equality queries, the problems are NP--complete due...
Implication and Referential Constraints: A New Formal Reasoning (1994)
Xubo Zhang, Z. Meral Ozsoyoglu
In this paper, we address the issue of reasoning with two classes of commonly used semantic integrity constraints in database and knowledge--base systems: implication constraints and referential...
On efficient reasoning with implication constraints (1993)
Xubo Zhang, Z. Meral Ozsoyoglu
In this paper, we address the complexity issue of reasoning with implication constraints. We consider the IC-RFT problem, which is the problem of deciding whether a conjunctive yes/no query always...
On Efficient Reasoning with Implication Constraints (1993)
Xubo Zhang, Z. Meral Ozsoyoglu
In this paper, we address the complexity issue of reasoning with implication constraints. We consider the IC-RFT problem, which is the problem of deciding whether a conjunctive yes/no query always...
Design of Desirable Relational Database Schemes (1992)
Li-yan Yuan, Z. Meral Ozsoyoglu
We define extended conflict free dependencies in the context of functional and multivalued dependencies; and prove that there exists an acyclic, dependency preserving, 4NF database scheme if and only...
Reduced MVD's and Minimal Covers (1987)
Z. Meral Ozsoyoglu, Li-yan Yuan
ABSTRACT Multivalued dependencies (MVD's) are data dependencies which appear frequently in the `real world', and play an important role in designing relational database schemes. Given a set...
A New Normal Form for Nested Relations (1987)
Z. Meral Ozsoyoglu, Li-yan Yuan
We consider nested relations whose schemes are structured as trees, called scheme trees, and introduce a normal form for such relations, called the nested normal form. Given a set of attributes U,...