IEEE Transactions on Knowledge and Data Engineering的第15期的论文列表（2003，2，March-April）

卷期号： 15

发布时间： March-April

卷期年份： 2003

Termination and confluence by rule prioritization

Uniform techniques for deriving similarities of objects and subschemes in heterogeneous databases

Object-based directional query processing in spatial databases

Toward an accurate analysis of range queries on spatial data

Mining optimized gain rules for numeric attributes

A new temporal pattern identification method for characterization and prediction of complex time series events

Synthesizing high-frequency rules from different data sources

Binding propagation techniques for the optimization of bound disjunctive queries

Static analysis of logical languages with deferred update semantics

Model and algorithm for efficient verification of high-assurance properties of real-time systems

Detecting and representing relevant Web deltas in WHOWEDA

Determining semantic similarity among entity classes from different ontologies

Fuzzy rule base systems verification using high-level Petri nets

Performance analysis of location-dependent cache invalidation schemes for mobile environments

Symbolic user-defined periodicity in temporal relational databases

Converting a fuzzy data model to an object-oriented design for managing GIS data files