Theory and Compilation of Data Intensive Logic Programs
{'Code': '05020000', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'IIS', 'LongName': 'Div Of Information & Intelligent Systems'}}
{'SignBlockName': 'Gia-Loi Le Gruenwald', 'PO_EMAI': None, 'PO_PHON': None}
The problem of efficient implementation of Horn clause logic programming        as a query language for relational databases has attracted much                 attention in the past decade, and several methods have been proposed by         researchers in the areas of Artificial Intelligence and Databases.  This        proposal is concerned with the efficient implementation of Horn clause          programming as a query language for relational databases.  The emphasis         is on preserving logical completeness and performing efficiently in the         presence of large numbers of facts.                                                                                                                             In this proposal, we examine a range of important issues:  (1) Compile-         time rule rewriting strategies, (2) Safety and effective computability          of queries, (3) Parallel evaluation issues, and (4) Language issues in          designing and using a logic-based query language.
{'FirstName': 'Abraham', 'LastName': 'Silberschatz', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Abraham Silberschatz', 'EmailAddress': 'abraham.silberschatz@yale.edu', 'NSF_ID': '000066329', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Texas at Austin', 'CityName': 'AUSTIN', 'ZipCode': '787121139', 'PhoneNumber': '5124716424', 'StreetAddress': '110 INNER CAMPUS DR', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Texas', 'StateCode': 'TX', 'CONGRESSDISTRICT': '25', 'CONGRESS_DISTRICT_ORG': 'TX25', 'ORG_UEI_NUM': 'V6AFQPN18437', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF TEXAS AT AUSTIN', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '685500', 'Text': 'INFORMATION & KNOWLEDGE MANAGE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8805215.xml'}