Carlo Zaniolo
Publications by Year




2011



2010


2009


2008
  • Y. Bai, H. Thakkar, H. Wang, and C. Zaniolo. Time-stamp Management and Query
    Execution in Data Stream Management Systems
    . IEEE Internet Computing, 12(6): 2008.

  • Carlo Carlo Curino, Hyun J. Moon, Carlo Zaniolo: Managing the History of Metadata in Support for DB Archiving and Schema Evolution. ER Workshops 2008: 78-88

  • Carlo Curino, Hyun Moon, Carlo Zaniolo: Graceful Database Schema Evolution: the PRISM Workbench: VLDB 2008, Auckland, New Zealand.

  • Hyun Moon, Carlo Curino, Alin Deutsch, Chien-Yi Hou, Carlo Zaniolo: Managing and Querying Transaction-time Databases under Schema Evolution: VLDB 2008, Auckland, New Zealand.

  • Carlo Zaniolo and Hetal Thakkar: Mining Data Bases and Data Streams. Chapter 5 of
    Homeland Security Technology Challenges--from Sensing and Encrypting to Mining and Modeling, (G. Francescetti and M. Grossi,. eds.) Artech House, 2008

  • Carlo A. Curino, Hyun J. Moon, Letizia Tanca and Carlo Zaniolo: Schema Evolution in Wikipedia---toward a Web Information System Benchmark. ICEIS2008: the 10th International Conference on Enterprise Information Systems. June 12-16, 2008, Barcelona, Spain.

  • Yijian Bai and Carlo Zaniolo: Minimizing Latency and Memory in DSMS: A Unified Approach to Quasi-Optimal Scheduling. The Second International Workshop on Scalable Stream Processing Systems, March 29, 2008, Nantes, France.

  • Hetal Thakkar, Barzan Mozafari and Carlo Zaniolo: Designing an Inductive Data Stream Management System: the Stream Mill Experience. The Second International Workshop on Scalable Stream Processing Systems, March 29, 2008, Nantes, France.

  • Barzan Mozafari, Hetal Thakkar and Carlo Zaniolo: Verifying and Mining Frequent Patterns from Large Windows over Data Streams. ICDE 2008:The 24th International Conference on Data Engineering, April 7-12, 2008, Cancún, México.

  • Yan-Nei Law and Carlo Zaniolo: Improving the Accuracy of Continuous Aggregates and Mining Queries on Data Streams under Load Shedding. International Journal of Business Intelligence and Data Mining, 3(1), pp. 99-117, 2008

  • Fusheng Wang, Carlo Zaniolo, and Xin Zhou: ArchIS: An XML-Based Approach to Transaction-Time Temporal Database Systems. The VLDB Journal, 2008.

  • Fusheng Wang and Carlo Zaniolo: Temporal queries and version management in XML-based document archives. Data & Knowledge Engineering, Volume 65, Issue 2, May 2008, Pages 304-324

    2007
  • Deise Saccol, Nina Edelweiss, Renata Galante, Carlo Zaniolo: XML Version Detection. Sixth ACM Symposium on Document Engineering (DocEng 2007). Winnipeg, Canada, August 28 - 31, 2007.

  • Deise Saccol, Nina Edelweiss, Renata Galante, Carlo Zaniolo: Managing XML Versions and Replicas in a P2P Context. Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07), Boston, July 9-11, 2007.

  • Yijian Bai, Haixun Wang, Carlo Zaniolo: Load Shedding in Classifying Multi-Source Streaming Data: A Bayes Risk Approach. 2007 SIAM International Conference on Data Mining (SDM07) Minneapolis, Minnesota, April 26-28, 2007.

  • Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zaniolo:A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries. The First International Workshop on Scalable Stream Processing Systems (SSPS'07), April 16-20, 2007, Istanbul, Turkey

  • Yan-Nei Law, Carlo Zaniolo: Load Shedding for Window Joins on Multiple Data Streams.The First International Workshop on Scalable Stream Processing Systems (SSPS'07), April 16-20, 2007, Istanbul, Turkey.

  • Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zaniolo: Optimizing Timestamp Management in Data Stream Management Systems. ICDE 2007: 1334-1338.

  • Yijian Bai, Fusheng Wang, Peiya Liu, Carlo Zaniolo, Shaorong Liu: RFID Data Processing with a Data Stream Query Language. ICDE 2007: 1184-1193

    2006
  • Yijian Bai, Hetal Thakkar, Chang Luo, Haixun Wang, Carlo Zaniolo: A Data Stream Language and System Designed for Power and Extensibility. ACM 15th Conference on Information and Knowledge Management (CIKM'06), Arlington, Virginia, USA, Nov 6-11, 2006.

  • X. Zhou, F. Wang and C. Zaniolo: Efficient Temporal Coalescing Query Support in Relational Database Systems . 17th International Conference on Database and Expert Systems Applications (DEXA'06), Krakow, Poland, September, 2006.

  • F. Wang, X. Zhou and C. Zaniolo: Bridging Relational Database History and the Web: the XML Approach. ACM International Workshop on Web Information and Data Management (WIDM'06), Arlington, Virginia, USA, November 10, 2006.

  • F. Wang, X. Zhou and C. Zaniolo, Using XML to Build Efficient Transaction-Time Temporal Database Systems on Relational Databases. Poster Paper. In Proc. of the 22nd International Conference on Data Engineering (ICDE'2006), April 3-7, Atlanta, Georgia, USA, 2006.

  • Xin Zhou, Hetal Thakkar and Carlo Zaniolo: Unifying the Processing of XML Streams and Relational Data Streams, ICDE 2006.

  • Chien, S.Y, Tsotras, V., Zaniolo, C. Zhang, D.: Supporting Complex Queries on Multiversion XML Documents, ACM TOIT, February 2006.

    2005
  • Yan-Nei Law, Carlo Zaniolo, An Adaptive Nearest Neighbor Classification Algorithm for Data Streams, 2005 ECML/PKDD Conference, Porto, Portugal, October 3-7, 2005.

  • Carlo Zaniolo: Mining Databases and Data Streamswith Query Languages and Rules: Invited Talk, Fourth International Workshop on Knowledge Discovery in Inductive Databases, KDID 2005.

  • Fusheng Wang, Carlo Zaniolo: An XML-Based Approach to Publishing and Querying the History of Databases, World Wide Web Journal, 8(3), 233–259, 2005

  • Fusheng Wang, Carlo Zaniolo, Xin Zhou, Temporal XML? SQL Strikes Back!,TIME 2005: 12th International Symposium on Temporal Representation and Reasoning, 47-55.

  • Fusheng Wang, Carlo Zaniolo, Xin Zhou, Hyun J. Moon: Version Management and Historical Queries in Digital Libraries. TIME 2005: 12th International Symposium on Temporal Representation and Reasoning, 207-209.

  • Fusheng Wang, Carlo Zaniolo, Xin Zhou, Hyun J. Moon: Managing Multiversion Documents & Historical Databases: a Unified Solution Based on XML, WebDB 2005: 151-153.

  • Chang Luo, Hetal Thakkar, Haixun Wang, Carlo Zaniolo: A native extension of SQL for mining data streams. SIGMOD Conference 2005: 873-875.

  • Y. Bai, L. Chang, H. Thakkar, X. Zhou and C. Zaniolo, Efficient Support for Time Series Queries in Data Stream Management Systems. Chapter 6 in "Stream Data Management" edited by Nauman A. Chaudhry, Kevin Shaw, Mahdi Abdelguerfi, Kluwer, Vol. 30,2005.

  • Fang Chu, Yizhou Wang, Carlo Zaniolo, D. Stott Parker, Improving Mining Quality by Exploiting Local Dependency, the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2005.


    2004
  • Fang Chu, Yizhou Wang, Carlo Zaniolo, An adaptive learning approach for noisy data streams, 4th IEEE International Conference on Data Mining (ICDM), 2004

  • Fusheng Wang, Carlo Zaniolo, Xin Zhou, Temporal Information Management using XML (demo), 23rd Int. Conference on Conceptual Modeling (ER2004), Nov 2004, Shanghai, China

  • Fusheng Wang, Carlo Zaniolo. XBiT: An XML-based Bitemporal Data Model,
    23rd International Conference on Conceptual Modeling(ER2004), Nov 2004, Shanghai, China.

  • Fang Chu, Yizhou Wang, Carlo Zaniolo, Mining Noisy Data Streams via a Discriminative Model. Discovery Science, 7th International Conference, DS 2004, Proceedings, LICS (AI), Vol. 3245. Suzuki, Einoshin; Arikawa, Setsuo (Eds.)

  • Fang Chu, Carlo Zaniolo: Fast and Light Boosting for Adaptive Mining of Data Streams. PAKDD 2004: 282-292.

  • Reza Sadri, Carlo Zaniolo, Amir Zarkesh, Jafar Adibi: Expressing and optimizing sequence queries in database systems. ACM Transactions on Database Systems (TODS)
    Volume 29 , Issue 2 (June 2004)

  • Yan-Nei Law, Haixun Wang, Carlo Zaniolo: Query Languages and Data Models for Database Sequences and Data Streams. VLDB 2004. 492-503.

  • Chen, C., Wang, H., Zaniolo, C., Toward Extensible Spatio-Temporal Databases: An Approach Based on User-Defined Aggregates, In Spatio-Temporal Databases Flexible Querying and Reasoning, deCaluwe, R., deTré, G. Bordogna, G. (Editors), Springer, pp. 55-74 (June 2004)

    2003
  • Fusheng Wang, Carlo Zaniolo: Publishing and Querying the Histories of Archived Relational Databases in XML. 4thInternational Conference on Web Information Systems Engineering, December 10th - 12th, 2003 Roma, Italy

  • Haixun Wang, Carlo Zaniolo, Chang Richard Luo: ATLaS: a Small but Complete SQL Extension for Data Mining and Data Streams. VLDB 2003: 1113-1116

  • Fusheng Wang and Carlo Zaniolo:Temporal Queries in XML Document Archives and Web Warehouses. TIME-ICTL 2003, Cairns, Queensland, Australia 8-10 July, 2003

  • Antonio Brogi, V.S. Subrahmanian, Carlo Zaniolo: A Deductive Database Approach to A.I. Planning. Journal of Intelligent Information Systems (JIIS), (20) 3, pp. 215-253 (May 2003).

  • Haixun Wang and Carlo Zaniolo: ATLaS: A Native Extension of SQL for Data Mining. SIAM International Conference on Data Mining 2003, San Francisco, CA, May 1-3, 2003

  • Fusheng Wang and Carlo Zaniolo: Representing and Querying the Evolution of Databases and their Schemas in XML. In Workshop on Web Engineering, SEKE 2003.

  • Cindy X. Chen, Jiejun Kong and Carlo Zaniolo: Design and Implementation of a Temporal Extension of SQL. The19th International Conference on Data Engineering, March 5-8, 2003, Bangalore, India (ICDE 2003)

  • Faiz Arni, Kayliang Ong, Shalom Tsur, Haixun Wang and Carlo Zaniolo: The Deductive Database System LDL++. The Theory and Practice of Logic Programming, (1): 61-94 (2003).

  • 2002
  • Fusheng Wang, Carlo Zaniolo: Preserving and Querying Histories of XML-Published Relational Databases. Procs. Second International Workshop on Evolution and Change in Data Management (ECDM 2002) , Tampere, Finland, October, 2002.

  • S.-Y. Chien, V.J. Tsotras, C. Zaniolo, Efficient schemes for managing multiversion XML Documents, The VLDB Journal, December 2002.

  • Carlo Zaniolo: Key Constraints and Monotonic Aggregates in Deductive Databases. Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Antonis C. Kakas, Fariba Sadri (Eds.): Notes in Computer Science 2408, 109-134, Springer, 2002.

  • Haixun Wang, Carlo Zaniolo: Extending SQL for Decision Support Applications. DMDW 2002: 1-2.

  • Shu-Yao Chien, Zografoula Vagena, Donghui Zhang, Vassilis J. Tsotras, Carlo Zaniolo: Efficient Structural Joins on Indexed XML Documents. VLDB 2002: 263-274.


  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo, Donghui Zhang: Efficient Complex Query Support for Multiversion XML Documents, The 8th Conference on Extending Database Technology (EDBT 2002), Prague, Czech Republic, 2002.

  • Filippo Furfaro, Sergio Greco, Sumit Ganguly, Carlo Zaniolo: Pushing extrema aggregates to Optimize logic querie, Information Systems, 27(5): 321-343 (2002)

    2001
  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo, Donghui Zhang: Storing and Querying Multiversion XML Documents using Durable Node Numbers. Proc. of The 2nd International Conference on Web Information Systems Engineering (WISE), Kyoto, Japan, Dec. 2001.

  • Sergio Greco, Domenico Saccà, Carlo Zaniolo: Extending stratified datalog to capture complexity classes ranging from P to QH. Acta Informatica 37(10): 699-725 (2001)

  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo: XML Document Versioning. SIGMOD Records, Volume 30 Number 3, September 2001.

  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo: Efficient Management of Multiversion Documents by Object Referencing. VLDB 2001.

  • Reza Sadri, Carlo Zaniolo, Amir M. Zarkesh, Jafar Adibi: A Sequential Pattern Query Language for Supporting Instant Data Minining for e-Services, VLDB 2001.

  • Reza Sadri, Carlo Zaniolo, Amir M. Zarkesh, Jafar Adibi: Optimization of Sequence Queries in Database Systems. PODS 2001.

  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo: Version Management of XML Documents: Copy-Based versus Edit-Based Schemes. RIDE-DM 2001.

  • Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases, Journal of Computer and System Sciences, Vol. 62, No. 1 (2001), pp. 15-42.

  • Sergio Greco, Carlo Zaniolo: Greedy Algorithms in Datalog. TPLP 1(4): 381-407 (2001).

  • Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo: Version Management of XML Documents, In The World Wide Web and Databases: WebDB2000, (Dan Suciu, Gottfried Vossen eds), LNCS Series Vol. 1997, Springer 2001.

    2000
  • Haixun Wang, Carlo Zaniolo: Nonmonotonic Reasoning in LDL++. In Logic-Based Artificial Intelligence (Jack Minker Editor), Kluwer Academic Publishers, pp. 523-542, 2000.

  • Cindy Xinmin Chen, Carlo Zaniolo: SQLST: A Spatio-Temporal Data Model and Query Language, ER 2000: 96-111.

  • Haixun Wang, Carlo Zaniolo: Using SQL to Build New Aggregates and Extenders for Object- Relational Systems. VLDB 2000.

  • Haixun Wang, Carlo Zaniolo: Database System Extensions for Decision Support: the AXL Approach. ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 2000: 11-20

  • Haixun Wang, Carlo Zaniolo: User Defined Aggregates in Object-Relational Systems. ICDE 2000: 135-144

  • Haixun Wang, Carlo Zaniolo: CMP: A Fast Decision Tree Classifier Using Multivariate Predictions. ICDE 2000: 449-460.

  • Haixun Wang and Carlo Zaniolo, User Defined Aggregates in Database Languages: in Research Issues in Structured and Semistructured Database Programming DBPL'99, Richard C. H. Connor, Alberto O. Mendelzon (Eds.). Lecture Notes in Computer Science, Vol.1949 , Springer 2000, ISBN 3-540-41481-9: 43-60

    1999
  • Haixun Wang, Carlo Zaniolo: User-Defined Aggregates for Datamining. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999.

  • C. X. Chen and C. Zaniolo,Universal Temporal Extensions for Database Languages, 15th International Conference on Data Engineering, ICDE'99, Sydney, Australia, March 23-26, 1999.

  • C. Zaniolo and H. Wang, Logic-Based User-Defined Aggregates for the Next Generation of Database Systems, in The Logic Programming Paradigm: Current Trends and Future Directions, K.R. Apt, V. Marek, M. Truszczynski, D.S.Warren (eds.), Springer Verlag, 1999.

  • Haixun Wang, Carlo Zaniolo: User-Defined Aggregates in Database Languages. DBPL 1999: 43-60.

  • Sergio Greco, Domenico Saccà, Carlo Zaniolo: Grammars and Automata to Optimize Chain Logic Queries.International Journal of Foundations of Computer Science 10(3): 349- (1999)

  • C. Zaniolo, A Short Overview of Deductive Database Systems, in The Handbook of Data Mining and Knowledge Discovery, W. Kloesgen and J. Zytkow (eds.), Oxford University Press, 1999.

    1998
  • S. Greco and C. Zaniolo, Greedy Algorithms in Datalog with Choice and Negation, Procs. 1998 Joint International Conference and Symposium on Logic Programming, JCSLP'98, pp. 294-309, MIT Press, 1998.

  • Haixun Wang, Carlo Zaniolo: User Defined Aggregates for Logical Data Languages. DDLP 1998: 85-97.

  • Haixun Wang, Carlo Zaniolo: User Defined Aggregates for Logical Data Languages. DDLP 1998: 85-97

  • S. Greco, C. Zaniolo and S. Ganguly, Optimization of Logic Queries with MIN and MAX Predicates, Procs Third Int. Conf. on Flexible Query Answering Systems, FQAS'98, in Lecture Notes in Artificial Intelligence 1495, T. Andreasen, H. Christiansen and H.L. Larsen (eds.), pp. 189-203, Springer-Verlag 1998.

    1997
  • C. Zaniolo, The Nonmonotonic Semantics of Active Rules in Deductive Databases, 5th Int. Conf. on Deductive and Object-Oriented Databases, DOOD'97, Lecture Notes in Artificial Intelligence, pp. 265-283, Springer-Verlag 1997.

  • I. Motakis and C. Zaniolo, Formal Semantics for Composite Temporal Events in Active Database Rules, Journal of System Integration, Vol. 7, No. 3-4, pp. 291-325, 1997.

  • D. Sacca' and C. Zaniolo, Deterministic and Non-Deterministic Stable Models , the Journal of Logic and Computation (JLC), Vol. 7, No 5, pp. 555-579, 1997.

  • I. Motakis and C. Zaniolo, Temporal Aggregation in Active Database Rule ACM-SIGMOD, Int. Conf. on the Managment of Data, Tucson, Az, May 1997.

  • A. Brogi, V.S. Subrahmanian and C. Zaniolo The Logic of Totally and Partially Ordered Plans: a deductive database approach , Annals of Mathematics and Artificial Intelligence (AMAI), Vol.19, No. 3-4, 1997.

  • F. Giannotti, S. Greco, D. Sacca' and C. Zaniolo Programming with Non-Determinism in Deductive Databases , Annals of Mathematics and Artificial Intelligence (AMAI), Vol.19, No. 3-4, 1997.

    1996
  • W. Shen, K.Ong, B. Mitbander and C. Zaniolo, Metaqueries for Data Mining, Chapter 15 of Advances in Knowledge Discovery and Data Mining, U. M. Fayyad et al (eds.), MIT Press, 1996.

  • D. Pedreschi and C. Zaniolo (eds.), Proceedings International Workshop on Logic in Databases (LID96) Springer Verlag, 1996.

  • C. Zaniolo, A Short Overview of LDL++: A Second-Generation Deductive Database System Computational Logic, Vol 3, No. 1, pp. 87-93, Dec. 1996.

    1995
  • Iakovos Motakis, Carlo Zaniolo, Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach, DOOD 1995: 19-37

  • Carlo Zaniolo, Active Database Rules with Transaction-Conscious Stable-Model Semantics, DOOD 1995: 55-72.

  • Sergio Greco, Domenico Saccà, Carlo Zaniolo: The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). ICALP 1995: 523-534.

  • V. S. Subrahmanian, Carlo Zaniolo, Relating Stable Models and AI Planning Domains, ICLP 1995: 233-247.

  • S. Greco, D. Sacca', Carlo Zaniolo, DATALOG Queries with Stratified Negation and Choice: from P to D P, ICDT 1995: 82-96

  • Carlo Zaniolo: The Dynamics of Active Database Rules: Models and Refinements, NGITS 1995.

  • Iakovos Motakis, Carlo Zaniolo, Composite Temporal Events in Active Databases: A Formal Semantics, Temporal Databases 1995: 332-351

  • Sumit Ganguly, Sergio Greco, Carlo Zaniolo, Extrema Predicates in Deductive Databases, JCSS 51(2): 244-259 (1995).

  • Richard R. Muntz, Eddie C. Shek, Carlo Zaniolo: Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.Applications of Logic Databases (R. Ramakrishan, Ed.), 101-119, Kluwer Academic Publishers, 1995.

    1994
  • Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo, Expressive Power of Non-Deterministic Operators for Logic-based Languages, Workshop on Deductive Databases and Logic Programming, ICLP 1994: 27-40.

  • Wei-Min Shen, Bharat G. Mitbander, KayLiang Ong, Carlo Zaniolo: Using Metagueries to Integrate Inductive Learning and Deductive Database Technology. KDD Workshop 1994: 335-346.

  • Sergio Greco, Carlo Zaniolo: Efficient Execution of Recursive Queries Through Controlled Binding Propagation. ISMIS 1994: 193-202.

  • Carlo Zaniolo, Reza Sadri: A Simple Model for Active Rules and their Behavior in Deductive Databases. Workshopon Deductive Databases and Logic Programming 1994: 13-26.

  • Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo, Declarative Semantics of Pruning Operators in Logic Programming, Methods of Logic in Computer Science, 1, 61-76,1994.


    1993

  • Carlo Zaniolo, On the Unification of Active Databases and Deductive databases, BNCOD 1993: 23-39.

  • Carlo Zaniolo, Natraj Arni, Kaylian Ong, Negation and Aggregates in Recursive Rules: the LDL++ Approach, DOOD 1993: 204-221.

  • Sergio Greco, Domenico Sacca, Carlo Zaniolo, Dynamic Programming Optimization for Logic Queries with Aggregates, Logic Programming - Proceedings of the 1993 International Symposium, pp. 575-589, The MIT Press, 1993, 575-589.

  • Luigi Palopoli, Carlo Zaniolo, Polynominal Time Computable Stable Models, Logic Programming - Proceedings of the 1993 International Symposium, p. 645, The MIT Press, 1993.

  • Carlo Zaniolo, A Unified Semantics for Active and Deductive Databases, Procs. 1993 Workshop on Rules In Database Systems, RIDS'93, pp. 271-287, Springer-Verlag, 1993.

  • Ping-Yu Hsu, Carlo Zaniolo, A new User's Impressions on LDL++ and CORAL, Workshop on Deductive Databases, JICSLP 1993: 134-145.

  • Shawn Shaw, Lena Foggiato-Bish, Iris Garcia, Gherin Tillman, Dave Tryon, Wendy Wood, Carlo Zaniolo, Improving Data Quality Via LDL++, Workshop on Deductive Databases, JICSLP 1993: 60-73.

    1992
  • Carlo Zaniolo, Intelligent Databases: Old Challenges and New Opportunities, JIIS 1(3/4): 271-292 (1992).

  • Els Laenens, Dirk Vermeir, Carlo Zaniolo: Logic Programming Semantics Made Easy. ICALP 1992: 499-508

  • Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Compilation of Set Terms in the Logic Data Language (LDL). JLP, 12(1&2): 89-119 (1992)

  • Sergio Greco, Carlo Zaniolo, Sumit Ganguly: Greedy by Choice. PODS 1992: 105-113

  • Sergio Greco, Carlo Zaniolo: Optimization of Linear Logic Programs Using Counting Methods. EDBT 1992: 72-87.

    1991
  • Sumit Ganguly, Sergio Greco, Carlo Zaniolo: Minimum and Maximum Predicates in Logic Programming. PODS 1991: 154-163.

  • Carlo Zaniolo: Efficient Processing of Declarative Rule-Based Languages for Datebases. PDK 1991: 1-16.

  • Domenico Sacca, Carlo Zaniolo: Partial Models and Three-Valued Models in Logic Programs with Negation. LPNMR 1991: 87-101.

  • Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991: 129-146.

    1990
  • Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. TKDE 2(1): 76-90 (1990).

  • Jeffrey D. Ullman, Carlo Zaniolo: Deductive Databases: Achievements and Future Directions. SIGMOD Record 19(4): 75-82 (1990).

  • Domenico Saccà, Carlo Zaniolo: Stable Models and Non-Determinism in Logic Programs with Negation. PODS 1990: 205-217.

  • Carlo Zaniolo: Deductive Database Systems: Applications and Programming. NACLP 1990: 842-845.

  • D. Ackley, R. P. Carasik, T. Soon, D. Tyron, E. Tsou, Shalom Tsur, Carlo Zaniolo: System Analysis for Deductive Database Environments: An Enhanced Role for Aggregate Entities. ER 1990: 129-142.

  • Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990: 1-15.

    1989
  • Ravi Krishnamurthy, Shamim A. Naqvi, Carlo Zaniolo: Database Transactions in LDL. Proceedings of the North American Conference on Logic Programming, pp. 795-815, 1989.

  • Carlo Zaniolo: Object Identity and Inheritance in Deductive Databases--an Evolutionary Approach. DOOD 1989: 7-21.

  • Domenico Saccà, Carlo Zaniolo : RuleTransformation Methods in the Implementation of the Logic Language LDL. In Resolution of Equations and Algebraic Structures, Vol.1, Hassan Ait-Kaci and Maurice Nivat (Eds), Academic Press,1989: 411-445.

    1988
  • Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. TCS 62(1-2): 187-220 (1988).

  • Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model ( LDL ). PODS 1988: 15-28.

  • Carlo Zaniolo: Design and Implementation of a Logic Based Language for Data Intensive Applications. Proceedings of the Fifth International Conference and Symposium on Logic Programming 1988: 1666-1687.

  • Ravi Krishnamurthy, Carlo Zaniolo: Optimization in a Logic Based Language for Knowledge and Data Intensive Applications. EDBT 1988: 16-33.

  • Domenico Saccà, Carlo Zaniolo: Differential Fixpoint Methods and Stratification of Logic Programs. Proceedings of 3rd Int. Conference on Databases and Knowledge Bases, Jerusalem, June 28-30, 49-58, 1988.


    1987
  • Danette Chimenti, Anthony B. O'Hare, Ravi Krishnamurthy, Shalom Tsur, Carolyn West, Carlo Zaniolo: An Overview of the LDL System. Data Engineering Bulletin 10(4): 52-62 (1987).

  • Carlo Zaniolo: Databases and Logic - Forword by the Guest Editor. Data Engineering Bulletin 10(4): 1 (1987).

  • Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59.

  • Domenico Saccà, Carlo Zaniolo: Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. Proceedings of the Fourth International Conference on Logic Programming,1987: 104-135.

  • Ravi Krishnamurthy, Carlo Zaniolo: Control and Optimization Strategies in the Implementation of LDL. DBPL 1987: 329-345.

    1986
  • Ravi Krishnamurthy, Carlo Zaniolo: Issues in the Optimization of a Logic Based Language. Data Engineering Bulletin 9(4): 2-9 (1986).

  • Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. Expert Database Systems, Proceedings First Int.Conference, Charleston, South Carolina, 1986 Larry Kerschberg (Ed.), 237-252, Benjamin Cummings 1987.

  • Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41.

  • Ravi Krishnamurthy, Haran Boral, Carlo Zaniolo: Optimization of Nonrecursive Queries. VLDB 1986: 128-137.

  • Domenico Saccà, Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986: 16-23

  • Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986: 31-53

  • Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. EDS 1986: 237-252

    1985
  • Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469.

    1984
  • Carlo Zaniolo:Object-Oriented Programming in Prolog. Proc. International Symposium on Logic Programming, pp. 265-271, Computer Society Press, 1984.

  • Carlo Zaniolo: Database Relations with Null Values, JCSS 21(1), 1984: 142-162.

  • Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. Expert Database  Workshop: 219-232 (1984).

  • Shalom Tsur, Carlo Zaniolo: An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End. SIGMOD Conference 1984: 286-295

    1983
  • Carlo Zaniolo: The Database Language GEM. SIGMOD Conference 1983: 207-218

    1982
  • Carlo Zaniolo: A new Normal Form for the Design of Relational Database Schemata. TODS 7(3): 489-499 (1982)

  • Carlo Zaniolo, Michel A. Melkanoff: A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems. TODS 7(1): 24-59 (1982)

  • 1981
  • Carlo Zaniolo: Database Relations with Null Values (Extended Abstract). PODS 1982: 27-33
     
  • Carlo Zaniolo, Michel A. Melkanoff: On the Design of Relational Database Schemata. TODS 6(1): 1-47 (1981)

    1980
  • Carlo Zaniolo: Mixed Transitivity for Functional and Multivalued Dependencies in Database Relations. Information Processing Letters 10(1): 32-34 (1980)

    1979
  • Carlo Zaniolo: Design of Relational Views over Network Schemas. SIGMOD  Conference 1979: 179-190.

  • Michel A. Melkanoff, Carlo Zaniolo: Decomposition of Relations and Synthesis of Entity-Relationship Diagrams. ER 1979: 277-294.

  • Carlo Zaniolo: Multimodel External Schemas for Codasyl Database Management  Systems. IFIP TC-2 Working Conference on Data Base Architecture, 157-176 (1979).

    1977
  • Carlo Zaniolo, Michel A. Melkanoff: Letter. SIGMOD Record 9(1): 1-2 (1977).

  • Carlo Zaniolo: Relational Views in Database Systems: Support for Queries,  Proceedings of the IEEE Computer Software and Applications Conference, Chicago,  Illinois, November 8-11, 1977.

    1973

    Carlo Zaniolo, Larry McNamee: Determining Static Parameters of Large Signal Semiconductor Diode and Transistor Models, Solid-State Electronics, Vol. 15, 1259-1302, Pergamon Press, 1973.


     

  •