Performance-Polymorphic Declarative Queries

Performance polymorphism, where a system can select between several given implementations of the same conceptual operation, has been used in real-time programming languages, such as Flex. The contingency plans used in the active database system HiPAC is a related, but more limited, mechanism. We have introduced performance polymorphism into a declarative database query language. We have shown the feasibility of the concept by implementing a general, performance-polymorphic query optimizer. We show how performance-polymorphic queries are specified and optimized in our system. A number of applications for the technique are suggested. This work was supported by NUTEK, the Swedish National Board for Industrial and Technical Development, as part of ISIS, the Competence Center for Integrated Systems for Control and Information.

[1]  Ronald Fagin,et al.  Combining Fuzzy Information from Multiple Systems , 1999, J. Comput. Syst. Sci..

[2]  Christer Bäckström.  Reasoning about interdependent actions , 1988 .

[3]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[4]  Marie-Anne Neimat,et al.  Cost Model Development for a Main Memory Database System , 1997 .

[5]  Philippe Bonnet,et al.  Partial Answers for Unavailable Data Sources , 1998, FQAS.

[6]  Tore Risch,et al.  Using partial differencing for efficient monitoring of deferred complex rule conditions , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[7]  Eva L. Ragnemalm.  Towards student modelling through collaborative dialogue with a learning companion , 1995 .

[8]  Juha Takkinen,et al.  CAFE: Towards a Conceptual Model for Information Management in Electronic Mail , 1997 .

[9]  Karsten Schwan,et al.  CHAOS-Kernel Support for Objects in the Real-Time Domain , 1987, IEEE Transactions on Computers.

[10]  Kwei-Jay Lin,et al.  Implementing and checking timing constraints in real-time programs , 1993, Microprocess. Microprogramming.

[11]  P. Doherty.  A three-valued approach to non-monotonic reasoning , 1990 .

[12]  Kwei-Jay Lin,et al.  Measuring and analyzing real-time performance , 1991, IEEE Software.

[13]  Tore Risch,et al.  Optimizing Performance-Polymorphic Declarative Database Queries , 1997, RTDB.

[14]  Goetz Graefe,et al.  Optimization of dynamic query evaluation plans , 1994, SIGMOD '94.

[15]  Peter Jonsson.  Complexity of state-variable planning under structural restrictions , 1995 .

[16]  Tore Risch,et al.  Processing Object-Oriented Queries with Invertible Late Bound Functions , 1995, VLDB.

[17]  Tore Risch,et al.  Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping , 1995, Rules in Database Systems.

[18]  Lars Karlsson,et al.  Specification and Synthesis of Plans Using the Features and Fluents Framework , 1995 .

[19]  Gustav Fahl,et al.  Object Views of Relational Data in Multidatabase Systems , 1994 .

[20]  Olof Johansson,et al.  Improving implementation of graphical user interfaces for object-oriented knowledge-bases , 1991 .

[21]  Sang Hyuk Son.  Advances in real-time systems , 1995 .

[22]  Yannis E. Ioannidis,et al.  Randomized algorithms for optimizing large join queries , 1990, SIGMOD '90.

[23]  Tim Hansen,et al.  Diagnosing multiple faults using knowledge about malfunctioning behavior , 1988, IEA/AIE '88.

[24]  Tim Hansen.  Diagnosing faults using knowledge about malfunctioning behavior , 1988 .

[25]  Kwei-Jay Lin,et al.  Structuring large real-time systems with performance polymorphism , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[26]  Erik Stoy.  A Petri Net Based Unified Representation for Hardware/Software Co-Design , 1995 .

[27]  Laxmi N. Bhuyan,et al.  High-performance computer architecture , 1995, Future Gener. Comput. Syst..

[28]  Ulf Cederling,et al.  Industrial Software Development - A Case Study , 1993, ESEC.

[29]  Staffan Flodin,et al.  Efficient Management of Object-Oriented Queries with Late Binding , 1996 .

[30]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[31]  A. Larsson.  Ekonomisk styrning och organisatorisk passion : ett interaktivt perspektiv , 1997 .

[32]  A. Zeroual,et al.  MSQL: A Multidatabase Language , 1989, Inf. Sci..

[33]  Zebo Peng.  Steps towards the formalization of designing VLSI systems , 1985 .

[34]  Stefan Svenberg.  Structure-driven derivation of inter-lingual functor-argument trees for multi-lingual generation , 1995 .

[35]  Ulf Söderman.  On conceptual modelling of mode switching systems , 1995 .

[36]  Sang Hyuk Son,et al.  Real-Time Database Systems: Issues and Applications , 1997 .

[37]  R. G. Cattell.  Object Data Management: Object-Oriented and Extended , 1994 .

[38]  Vadim Engelson,et al.  An Approach to Automatic Construction of Graphical User Interfaces for Applications in Scientific Co , 1996 .

[39]  Henrik Nordin.  On the use of typical cases for knowledge-based consultation and teaching , 1985 .

[40]  Wen-Chi Hou,et al.  Processing real-time, non-aggregate queries with time-constraints in CASE-DB , 1992, [1992] Eighth International Conference on Data Engineering.

[41]  Mats Larsson,et al.  A transformational approach to formal digital system design , 1993, Linköping studies in science and technology thesis.

[42]  Tore Risch,et al.  Performance-Polymorphic Execution of Real-Time Queries , 1996, RTDB.

[43]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[44]  Jonas S. Karlsson.  Towards a strategy for software requirements selection , 1995 .

[45]  Joan Peckham,et al.  RTSORAC: A Real-Time Object-Oriented Database Model , 1994, DEXA.

[46]  Eva Toller.  Contributions to parallel multiparadigm languages : combining object-oriented and rule-based programming , 1995 .

[47]  Jonas Löwgren.  The Ignatius Environment: Supporting the Design and Development of Expert-System User Interfaces , 1992, IEEE Expert.

[48]  Jonni Harrius.  An architecture and a knowledge representation model for expert critiquing systems , 1993 .

[49]  Johnny Eckerland.  Retargeting of an incremental code generator. , 1984 .

[50]  Hector Garcia-Molina,et al.  Main Memory Database Systems: An Overview , 1992, IEEE Trans. Knowl. Data Eng..

[51]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

[52]  Jörgen Hansson,et al.  Active and Real-Time Database Systems (ARTDB-95) , 1995, Workshops in Computing.

[53]  Elke A. Rundensteiner,et al.  Schema Evolution for Real-Time Object-Oriented Databases1 , 1994 .

[54]  Azer Bestavros,et al.  Real-Time Database and Information Systems - Research Advances, Papers from the Second International Workshop on Real-Time Databases, RTDB'97, September 18-19, 1997, Burlington, Vermont, USA , 1997, RTDB.

[55]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.

[56]  Ali R. Hurson,et al.  A taxonomy and current issues in multidatabase systems , 1992, Computer.

[57]  Hamid Pirahesh,et al.  A rule engine for query transformation in Starburst and IBM DB2 C/S DBMS , 1997, Proceedings 13th International Conference on Data Engineering.

[58]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[59]  Umeshwar Dayal,et al.  Ten Years of Activity in Active Database Systems: What Have We Accomplished? , 1995, ARTDB.

[60]  Torbjörn Näslund.  SLDFA-resolution : computing answers for negative queries , 1990 .

[61]  Joakim Gustafsson.  Extending temporal action logic for ramification and concurrency , 1998 .

[62]  J. Lind.  Creditor - firm relations : an interdisciplinary analysis , 1994 .

[63]  Roland N. Bol,et al.  Tabulated Resolution for the Well-Founded Semantics , 1993, J. Log. Program..

[64]  Tore Risch,et al.  Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates , 1992, IEEE Trans. Knowl. Data Eng..

[65]  Wen-Chi Hou,et al.  Processing aggregate relational queries with hard time constraints , 1989, SIGMOD '89.

[66]  Alejandro P. Buchmann,et al.  On Providing Soft and Hard Real-Time Capabilities in an Active DBMS , 1995, ARTDB.

[67]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[68]  Shamsul I. Chowdhury,et al.  Statistical expert systems : a special application area for knowledge-based computer methodology , 1987 .

[69]  Xinli Gu.  Testability analysis and improvement in high-level synthesis systems , 1992 .

[70]  Victor Bradley Lortz.  An object-oriented real-time database system for multiprocessors , 1994 .

[71]  Johan Herber.  Environment support for building structured mathematical models , 1995 .

[72]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[73]  Eva L. Ragnemalm,et al.  Student modelling based on collaborative dialogue with a learning companion , 1999 .

[74]  Kwei-Jay Lin,et al.  Building flexible real-time systems using the Flex language , 1991, Computer.

[75]  Ling Lin,et al.  A Value-Based Indexing Technique for Time Sequences , 1997 .

[76]  Tomas Sokolnicki.  Coaching partial plans : an approach to knowledge-based tutoring , 1990 .

[77]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[78]  Won Kim,et al.  Modern Database Systems: The Object Model, Interoperability, and Beyond , 1995, Modern Database Systems.

[79]  Wen-Chi Hou,et al.  Time-Constrained Query Processing in CASE-DB , 1995, IEEE Trans. Knowl. Data Eng..

[80]  John A. Stankovic,et al.  Misconceptions About Real-Time Computing , 1988, Computer.

[81]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[82]  Peter Ingels,et al.  A Robust Text Processing Technique Applied to Lexical Error Recovery , 1997, ArXiv.

[83]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .