Filters








111 Hits in 3.9 sec

An introduction to deductive database languages and systems

Kotagiri Ramamohanarao, James Harland
1994 The VLDB journal  
This overview is not a complete survey of all efforts that have taken place in the development of deductive database systems.  ...  There are also commercial database systems under development that have the capabilities of a deductive database. Below we give an overview of the state of development of various prototype systems.  ... 
doi:10.1007/bf01228878 fatcat:z3nd6ps5znbt5b65333o4yrxda

A survey of deductive database systems

Raghu Ramakrishnan, Jeffrey D. Ullman
1995 The Journal of Logic Programming  
AN HISTORICAL OVERVIEW OF DEDUCTIVE DATABASES The origins of deductive databases can be traced back to work in automated theorem proving and, later, logic programming.  ...  DEDUCTIVE DATABASE SYSTEM IMPLEMENTATIONS There have been a number of implementations of deductive databases.  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

Neuere Entwicklungen der deklarativen KI-Programmierung [chapter]

Harold Boley, François Bry, Ulrich Geske
1993 Grundlagen und Anwendungen der Künstlichen Intelligenz  
.: The Aditi Deductive Database System. Proc. NACLP Workshop on Deductive Database Systems (1990) 58. Vieille, L.: Recursive Query Processing: The Power of Logic.  ...  Conf. on Database Theory (1988) 46. Morris, K., UUman, J. D., Van Gelder, Α.: Design Overview of the NAIL! System. Proc. 3rd Int. Conf. on Logic Programming (1986) 47.  ... 
doi:10.1007/978-3-642-78545-0_19 fatcat:ltaekduyjbcotpu3lurg2sjtky

Implementation of the CORAL deductive database system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1993 Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93  
CORAL is a deductive database system that provides a modular, declarative query language/programming language.  ...  CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming.  ...  , SQL, Starburst, and various implementations of Prolog from which we have borrowed numerous ideas. We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
doi:10.1145/170035.170067 dblp:conf/sigmod/RamakrishnanSSS93 fatcat:gxofwznabzcchevp7xbox3opie

Implementation of the CORAL deductive database system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1993 SIGMOD record  
CORAL is a deductive database system that provides a modular, declarative query language/programming language.  ...  CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming.  ...  , SQL, Starburst, and various implementations of Prolog from which we have borrowed numerous ideas. We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
doi:10.1145/170036.170067 fatcat:nvrqkvbzv5fsliomn2lphmq7o4

The Relationlog system prototype

Mengchi Liu
2001 Software, Practice & Experience  
See Reference [31] for a survey of these deductive database systems.  ...  Various set-oriented evaluation strategies specific for such kinds of deductive databases have been the main focus of extensive research [14-23] and a number of deductive database systems or prototypes  ...  ACKNOWLEDGEMENTS The author acknowledges the contributions of the following people to the Relationlog system: Riqiang Shan, Tao Guan, Shilpesh Katragadda, Ming Zhao, Mingyuan Deng, and Sudha Srinivas.  ... 
doi:10.1002/spe.378 fatcat:jcmfavym6jcxxisujqmos6jcja

The Glue-Nail deductive database system: Design, implementation, and evaluation

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps
1994 The VLDB journal  
We describe the design and implementation of the Glue-Nail deductive database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities.  ...  We also describe the Glue-Nail benchmark suite, a set of applications developed to evaluate the Glue-Nail language and to measure the performance of the system.  ...  We would like to acknowledge the contributions of Ashish Gupta, Kate Morris, and Ken Ross, who developed code used in the previous and current versions of the Nail compiler.  ... 
doi:10.1007/bf01228879 fatcat:jh2cqcpo5fedphkysu5bl6gqie

Page 484 of Psychological Abstracts Vol. 85, Issue 2 [page]

1998 Psychological Abstracts  
Taylor Mind and the geometry of systems - Wil- liam C.  ...  Tetlock Between hope and fear: The psychology of risk - Lola L.  ... 

DECLARE and SDS: Early efforts to commercialize deductive database technology

Werner Kle�ling, Helmut Schmidt, Werner Strau�, Gerhard D�nzinger
1994 The VLDB journal  
SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment.  ...  The Smart Data System (SDS) and its declarative query language, Declarative Reasoning, represent the first large-scale effort to commercialize deductive database technology.  ...  In particular we would like to thank the former members of the DECLARE team in Munich: Riidiger Azone, Olaf Biernath, Maria Friedrich, Lothar Kappen, Franz Kronseder, Eva Krfiger, Benedikt Nuiding, Elisabeth  ... 
doi:10.1007/bf01228881 fatcat:7atpx6qz6fhjdlmktuvdxubupm

On active deductive databases: The statelog approach [chapter]

Georg Lausen, Bertram Ludäscher, Wolfgang May
1998 Lecture Notes in Computer Science  
Subsequently, w e present our own state-oriented logical approach to active rules which combines the declarative semantics of deductive rules with the possibility to de ne updates in the style of production  ...  After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, w e survey a number of formal approaches to active rules  ...  work enjoys the desirable feature of a deterministic semantics, it is sometimes useful to consider nondeterministic extensions, in particular to model existing nondeterministic systems.  ... 
doi:10.1007/bfb0055496 fatcat:yytr4zlbzrdexfbdydbizbxdhy

The CORAL deductive system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1994 The VLDB journal  
Since the database on which the queries are evaluated may be quite large, e cient execution of declarative queries is an important requirement of any deductive database system.  ...  In Section 11 we mention several applications that have been developed using the CORAL system, to illustrate the utility of deductive database systems in practice.  ...  , SQL, Starburst, and various implementations of Prolog from which we have borrowed numerous ideas. We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
doi:10.1007/bf01228880 fatcat:yvr6ltdmsfd4tcooccrwhuxghe

Knowledge-Based Problem Solving in Physical Product Development – A Methodological Review

Peter Burggräf, Johannes Wagner, Tim Weißer
2020 Expert Systems with Applications: X  
The purpose of this theoretical review is therefore the analysis of relevant approaches contributing to knowledge-based problem solving in physical product development, to synthesize a comprehensive construct  ...  Due to the exponential increase of failure cost during the product development process however, problems have to be effectively remedied as early as possible.  ...  Acknowledgements The authors would like to thank the editor and reviewers, who with their constructive feedback substantially contributed to our work.  ... 
doi:10.1016/j.eswax.2020.100025 fatcat:x2j5a7vsdbem5o5jvs4cw4obmq

Assessing the Impact of Computer Mediated Communication (CMC) on Productivity and Efficiency in Faecal Sludge Management: A Case Study of the Giant Faecal Sludge Management Company in Ghana

Florence Asiamah, Issahaku Ahmed, Esi Awuah, Florence Cobbold, Lola Asiseh Ashitey
2018 Journal of Human Resource and Sustainability Studies  
The highly rated and preferred medium of communication based on the study is the most used medium utilized by Sewerage Systems Ghana Ltd. Employing the most preferred  ...  This study outlines the impact of computer mediated communication (CMC) on productivity and efficiency in the faecal sludge industry and Sewerage Systems Ghana Limited was used as a case study.  ...  Acknowledgements The authors would like to extend their profound gratitude to the Board, management and the entire staff of Sewerage Systems Ghana Ltd., the executive chairman (EC) of the Jospong group  ... 
doi:10.4236/jhrss.2018.64040 fatcat:ytaqgcexvrbebkriy3ats7jhtu

A general procedure to check conjunctive query containment

Miguel R. Penabad, Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá
2002 Acta Informatica  
To my parents, José and Lola, my sister Elba ("mom number two"), and my brother Juan. To my brother in law Tino, and my nephew and nieces, Oscar, Nuria and Lucía.  ...  A meus pais, José e Lola, a miña irmá Elba ("mamá número dous") e a meu irmán Juan. A meu cuñado Tino e meus sobriños Oscar, Nuria e Lucía. Polo seu cariño e apoio pero, sobre todo, por aguantarme.  ...  The most used query language in deductive databases is Datalog [CGT89] , which is an adaptation of Prolog to deal with databases.  ... 
doi:10.1007/s002360200082 fatcat:jccxfgx6sfht3io2roegimp5o4

Finally Moving Beyond the Fiction: An Overview of the Recent State Rally for Health Care Reform

Mark E. Douglas
2008 Indiana Health Law Review  
database will more quickly realize savings in having a single on-line integrated system that creates a common database for clinicians and other stakeholders.  ...  Successful EMR adoption will require that IT systems and databases be able to communicate in order to realize the full benefits of efficiency.  ...  will promote trust in the process as well as increased efficiency of the system.  ... 
doi:10.18060/16530 fatcat:kqbdnjl2tbe2lfulnoe4dx5ktm
« Previous Showing results 1 — 15 out of 111 results