約束資料庫的模式設計、查詢語言和實現技術

《約束資料庫的模式設計、查詢語言和實現技術》是依託復旦大學，由施伯樂擔任項目負責人的面上項目。

基本介紹

• 中文名：約束資料庫的模式設計、查詢語言和實現技術
• 依託單位：復旦大學
• 項目類別：面上項目
• 項目負責人：施伯樂
• 批准號：69773012
• 申請代碼：F0202
• 負責人職稱：教授
• 研究期限：1998-01-01 至 2000-12-31
• 支持經費：12（萬元）

項目摘要

本項目圍繞約束資料庫方向，針對區間約束，兩變數線性約束和線性序約束三種約束類型進行了深入、系統的研究，並對將約束數據類型套用於時空資料庫的方式進行了研究。共發表論文10篇，其中權威刊物以上7篇。主要研究成果包括：一.區間約束資料庫查詢語言ISQL和基於兩變數線性約束的時空數據查詢語言。二.三種類型約束的規範化表示和規範化表示的生成算法。三.區間約束和兩變數線性約束的代數查詢語言和複雜性最高的投影操作的實現算法。四.線性序約束關係的無損連線分解問題。五.插入和刪除操作最差情況下計算複雜性為o（logn）的動態區間索引結構。六.約束在時空資料庫中的套用方法。