Cho et al., Specification and validation of dynamic systems using temporal logic, Software, IEEE Proceedings, vol. 148, Issue 4, Aug. 2001, pp. 135-140.* |
Bandler et al., A generalized space-mapping tableau approach to device modeling, Microwave Theory and Techniques, IEEE Transactions on, vol. 49, Issue 1, Jan. 2001, pp. 67-79.* |
Wijsen et al., Temporal tableau queries, Temporal Representation and Reasoning, 2001. Time 2001. Proceedings. Eighth International Symposium on, 2001, pp. 136-143.* |
El-Baida et al., Automatic verification of concurrent object properties, Computer Systems and Applications, ACS/IEEE International Conference on, 2001, pp. 411-417.* |
Abiteboul, S. et al, “Object Identity as a Query Language Primitive” in Proceedings of ACM SIGMOD Conference on Management of Data, Portland, Oregon: 159-173 (1989). |
Abiteboul S., et al, Foundations of Databases, Addison-Wesley (1995). |
Adali S., et al, “Query Caching and Optimization in Distributed Mediator Systems” ACM SIGMOD: 137-148 (1996). |
Aho, A.V, et al, “The Theory of Johns in Relational Databases,” ACM Transactions on Database Systems, 4(3):297-314 (1979). |
Aho, A.V., et al, “Efficient Optimization of a Class of Relational Expressions,” ACM Transactions on Database Systems, 4(4):435-454 (1979). |
Atkinson, M. et al, “Design Issues in a Map Language”, Proc. of the 3rd Int'l Workshop on Database Programming Languages (DBPL91), Nafplion, Greece: 20-32 (1991). |
Baker, B. “Responsible SQL: Creative Solutions for Performance Problems in DB2 for OS/390,” DB2 Magazine, 4(2):54-55 (Summer 1999) http://www.db2mag.com/summer99/sp-prog.shtml. |
Beeri, C., et al, “Algebraic Optimissation of Object Oriented Quesry Languages,” Theoretical Computer Science, 116(1): 59-94 (1993). |
Beeri, C., et al, “A Proof Procedure for Data Dependencies,” Journal of the ACM, 31(4):718-741 (1984). |
Bello, R. et al., “Materialized Views in Oracle,” Proc. of 24th VLDB Conference: 659-664 (1998). |
Bertino, E., Query Processing for Advanced Database Systems, “A Survey of Indexing Techniques for Object-Oriented Database Management Systems”, Morgan Kauffman, San Mateo, CA: 383-418 (1994). |
Bertino, E., et al, “Indexing Techniques for Queries on Nested Objects,” IEEE Trans. on Knowledge and Data Engineering, 1(2): 196-214 (1989). |
Cattell, R.G.G. ed. The Object Database Standard, ODMG 2.0. Morgan Kaufmann, San Mateo, California (1997). |
Chakravarthy, U., J. Grant, and J. Minker, “Logic-Based Approach to Semantic Query Optimization,” ACM Transactions on Database Systems, 15(2):162-207 (1990). |
Chandra, A., et al, “Optimal Implemantation of Conjunctive Queries in Relational Data Bases”, Proceedings of 9th ACM Symposium on Theory of Computing, Boulder, Colorado: 77-90 (1977). |
Chaudhuri, S., et al, “Optimizing Queries with Materialized Views”, Proceedings of ICDE, Taipei, Taiwan (1995). |
Chen, C.M., et al, “The Implementation and Performance Evaluation of the ADMS Query Optimizer”, Proceedings of the International Conference on Extending Database Technology: 1-21 (1994). |
Cheng, Q., et al, “Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database” Proc. of VLDB: 687-698 (Sep. 1999). |
Cherniack, M., et al, “Inferring Function Semantics to Optimize Queries” Proc. of 24th VLDB Conference: 239-250 (1998). |
Cherniack, M., et al., “Rule Languages and Internal Algebras for Rule-Based Optimizers,” Proceedings of the SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada: 401-412 (1996). |
Cluet, S., et al, “A General Framework for the Optimization of Object Oriented Queries,” Proceedings ACM-SIGMOD International Conference on Management of Data: 383-392, San Diego, California (Jun. 1992). |
Deutsch, A., et al, “Physical Data Independence, Constarints and Optimization with Univesal Plans” VLDB: 459-470 (Sep. 1999). |
Fegaras, L., et al., “An Algebraic Framework for Physical oodb Design,” Proc. of the 5th Int'l Workshop on Database Programming Languages (DBPL195), Umbria, Italy: 1-19 (Aug. 1995). |
Florescu, D., et al, “A Methodology for Query Reformulation in CIS Using Semantic Knowledge,” International Journal of Cooperative Information System, 5 (4): 1-36 (1996). |
Graefe, Goetz, et al, “Extensible Query Optimization and Parallel Execution in Volcano,” Freytag et al. ed., Query Processing for Advanced Database Systems, Chapter 11: 305-335 (1994). |
Grant, J., et al, “Semantic Query Optimization for Object Database,” Proc. of the 13th Int'l Conference on Data Engineering (Apr. 1997). |
Iannidis, Y.E., et al, “Query Optimization by Simulated Annealing,” Dayal et al., eds., Proceedings of ACM-SIGMOD International Conference on Management of Data, San FRancisco 9-22 (May 1987). |
Jarke M., et al, “An Optimizing Prolog Front-End to a Relational Query System,” Proceedings of ACM-SIGMOD: 296-306 (1984). |
Jeng P., et al, “Query Processing in Distributed Orion,” Proc. EDBT, Venice, Italy: 168-187 (Mar. 1990). |
Ke;;er, A.A., et al, “A Predicate-Based Caching Scheme for Client-Server Database Architectures,” Proceedings of the International Conference on Parallel and Distributed Information Systems (1994). |
Kemper, A., et al, “Access Support Relations in Object Bases” Proceedings of the ACM-SIGMOD International Conference on Management of Data: 364-374 (1990). |
Levy, A., et al, “Answering Queries Using Views” Proceedings of PODS: 95-104 (1995). |
Levy, A., D. Srivastava, and T. Kirk, “Data Model and Query Evaluation in Global Information Systems,” Journal of Intelligent Information Systems: 1-23 (1995). |
Libkin, L., et al, “A Query Language for Multidimensional Arrays: Design, Implementation and Optimization Techniques,” SIGMOD Proceedings, Int'l Conf. on Management of Data 228-239 (1996). |
Lohman, G.M., et al, “Extension to Starburst: Objects, Types, Functions, and Rules,” Communications of the ACM 34(10): 94-109 (Oct. 1991). |
Maier, D., et al, “Indexing in an Object-Oriented DBMS” Proceedings of 2nd International Workshop on Object-Oriented Database Systems: 171-182, Asilomar, CA (Sep. 1986). |
Nelson, Greg, et al, “Fast Decision Algorithms Based on Union and Find” FOCS: 114-119 (Nov. 1977). |
Papakonstantinou, Y., et al, “Object Exchange Across Heterogeneous Information Sources” Proceedings of IEEE International conference on Data Engineering: 1-26 (Mar. 1995). |
Papakonstantinou, Y., et al, “Capabilities-Based Query Rewritting in Mediator System,” Distributed and Parallel Database, 6 (1) (1998). |
Popa, L., et al, “Chase for Path-Conjunctive Queries, Constarints, and Views” in Proceedings of ICDT, Jerusalem, Israel: 1-19 (Jan. 1999). |
Popa, L., et al, “Chase and Axioms for PC Queries and Dependencies,” Technical Report MS-CIS-98-34, University of Pennsylvania http://www.cis.uppen.edu/techreports: 1-43 (1998). |
Qian, X., “Query Folding” Proceeding ICDE: 48-55 (1996). |
Rajarman, A., et al, “Answering Queries Using Templates with Binding Patterns (Extended Abstract)” in Proc. 14th ACM Symposium in Principles of Database System: 105-112 (1995). |
Selinger, P.G., et al, “Access Path Selection in a Relational Datbase Management System,” Proceedings of ACM SIGMOD International Conference on Management of Data: 23-34, (1979) Reprinted in Reading in Database System, Morgan Kaufmann (1988). |
Shaw, G., et al, “Object-Oriented Queries: Equivalence and Optimization,” Proceedings of International Conference of Deductive and Object-Oriented Datbases (1989). |
Shaw, G., et al, “Object-Oriented Query Algebra,” Proc. DBPL, Salishan Lodge, Oregon: 103-112 (Jun. 1989). |
Steinrunn, M., et al, Heuristic and Randomized Optimization for the Join Ordering Problem. VLDB Journal, 6(3): 191-208 (1997). |
Tsatlos, O., et al, “The GMAP: A Versatile Tool for Physical Data Independence,” Proc. of 20th VLDB Conference, Santaigo, Chile: 1-28 (1994). |
Valduriez, P., “Join Indices,” ACM Trans. Database Systems, 12(2):218-246 (Jun. 1987). |
Wiederhold, G., “Mediators in the Architecture of Future Information Systems,” IEEE Computer: 38-49 (Mar. 1992). |
Yang, H.Z., et al, “Query Transformation for PSI-queries” Proceedings of the 13th International VLDB Conference: 245-254 (1987). |