{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:25Z","timestamp":1725663565415},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540533979"},{"type":"electronic","value":"9783540468356"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53397-4_37","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:01:53Z","timestamp":1330207313000},"page":"198-216","source":"Crossref","is-referenced-by-count":0,"title":["Deductive database rule languages: Analysis and case study"],"prefix":"10.1007","author":[{"given":"Georges","family":"Gardarin","sequence":"first","affiliation":[]},{"given":"Jerry","family":"Kiernan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","unstructured":"Abiteboul S., Simon E., \"Fundamental Properties of Deterministic and Non-deterministic Extensions of Datalog\", to appear in Journal of Theoretical Computer Science."},{"key":"9_CR2","unstructured":"Abiteboul S., Grumbach S., \"A Rule-based Language with Functions and Sets\", to appear in TODS."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon F., Khoshafian S., \"A Calculus for Complex Objects\", Proc. ACM Symposium on Principles of Database Systems, 1986, pp. 53\u201359.","DOI":"10.1145\/6012.15404"},{"key":"9_CR4","unstructured":"Bidoit N., \"Negation in Rule-Based Database Languages: A Survey\", to appear in Journal of Theoretical Computer Science."},{"key":"9_CR5","unstructured":"Brownston L., Farrell R., Kant E., Martin N., \"Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming\", Book, Addison-Wesley, 1985."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"J.P Cheiney, C. de Maindreville: \"Relational Storage and Efficient Retrieval of Rules in a Deductive DBMS\", Proc. of Int. Conf. on Data Engineering, Los Angeles, Feb. 1989.","DOI":"10.1109\/ICDE.1989.47272"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Chen L., Gardarin G., \"An Implementation Model for Reasoning with Complex Objects\", Proc. ACM SIGMOD Conf., Chicago, 1988.","DOI":"10.1145\/50202.50220"},{"key":"9_CR8","unstructured":"Gardarin G. et al., \"Sabrina, a relational database system developed in a research environment\", TSI 86, English Version: Technology and Sciences of Informatics, AFCET-Gauthier Villard-John Willey & Sons Ltd, 1987."},{"key":"9_CR9","unstructured":"Gardarin G., \"Magic Functions: A Technique for Optimization of Extended Datalog Recursive Programs\", Proc. Very Large Databases Conf., Brighton, England, Sept. 1987."},{"key":"9_CR10","unstructured":"Gardarin G., Valduriez P., \"Relational Databases and Knowledge Bases\", Book, Addison-Wesley, 1989."},{"key":"9_CR11","unstructured":"Gardarin G., Kiernan J. et al., \"Managing Complex Objects in an Extensible Relational DBMS\", Proc. Very Large Databases, Amsterdam, Netherland, Aug. 1989."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Kiernan G., de Maindreville C., Simon E., \"Making Deductive Databases a Practical Technology: A Step Forward\", Proc. of ACM SIGMOD, Atlantic City, USA, May 1990.","DOI":"10.1145\/93597.98733"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Kuper G., \"Logic Programming with Sets\", Proc. ACM Symposium on Principles of Database Systems, 1987, pp. 11\u201320.","DOI":"10.1145\/28659.28661"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Lloyd J., \"Foundations of Logic Programming\", Book, 2nd Edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"9_CR15","unstructured":"de Maindreville C. and Simon E., \"Modelling Non-deterministic Queries and Updates in Deductive Database\", proc. of VLDB, Los Angeles, 1988"},{"key":"9_CR16","unstructured":"Naqvi S., Tsur S., \"A Logic Language for Data and Knowledge Bases\", Book, Computer Science Press, 1989."},{"key":"9_CR17","unstructured":"M. R\u00e9gnier, E. Simon: \"Efficient Evaluation of Production Rules in a DBMS\", Proc. of Advances in Databases, edited by INRIA, Geneva, Sept. 1989."},{"key":"9_CR18","unstructured":"Simon E., de Maindreville C., \"Deciding Whether a Production Rule is Relational Computable\", Proc. Int. Conf. on Database Theory, Bruges, Belgium, Sept. 1988."},{"key":"9_CR19","unstructured":"Ullman J.D., \"Principles of Database and Knowledge-Base Systems\", Book, Computer Science Press, Vol.1 and Vol. 2, 1989."},{"key":"9_CR20","unstructured":"Zaniolo C., \"Design and Implementation of a Logic Based Language for Data Intensive Applications\", Proc. Int. Conf. on Logic Programming, 1988."},{"key":"9_CR21","unstructured":"P. Valduriez, G. Gardarin: \"Analysis and Comparison of Relational Database Systems\", Book, Addison Wesley, 1989."},{"key":"9_CR22","unstructured":"Vieille L., \"Recursive Axioms in Deductive Databases: the Query-Subquery Approach\", Proc. of the 1st Int. Conf. on Expert Database Systems, 1986."}],"container-title":["Lecture Notes in Computer Science","Database Systems of the 90s"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53397-4_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:20Z","timestamp":1619572340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53397-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540533979","9783540468356"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-53397-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}