XSB as an efficient deductive database engine Export

@inproceedings{citeulike:2749891, abstract = {In this paper we describe the XSB system, an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have a number of serious deficiencies when they are used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing) [4], which makes it appropriate as an underlying query engine for deductive database systems. Because it eliminates redundant computation, the tabling extension...}, author = {Sagonas, Konstantinos and Swift, Terrance and Warren, David S.}, citeulike-article-id = {2749891}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5560}, keywords = {deductive-database, logic-programming, logic-programming-systems, prolog, tabled-logic-programming, xsb}, pages = {442--453}, posted-at = {2009-09-08 12:01:35}, priority = {2}, title = {XSB as an efficient deductive database engine}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5560}, year = {1994} }

TY - CONF ID - citeulike:2749891 L3 - citeulike-article-id:2749891 N2 - In this paper we describe the XSB system, an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have a number of serious deficiencies when they are used as database systems. Accordingly, XSB has a fundamental bottom-up extension, introduced through tabling (or memoing) [4], which makes it appropriate as an underlying query engine for deductive database systems. Because it eliminates redundant computation, the tabling extension... EP - 453 TI - XSB as an efficient deductive database engine SP - 442 KW - deductive-database KW - logic-programming KW - logic-programming-systems KW - prolog KW - tabled-logic-programming KW - xsb AU - Sagonas, Konstantinos AU - Swift, Terrance AU - Warren, David PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5560 ER -