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': 'Maria Zemankova', '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          logic programming as a query language for relational databases.  The            emphasis is on preserving logical completeness and performing effciently        in the presence of large number 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) Languages issues in         designing and using a logic-based query language.
{'FirstName': 'Raghunath', 'LastName': 'Ramakrishnan', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Raghunath Ramakrishnan', 'EmailAddress': 'raghu@cs.wisc.edu', 'NSF_ID': '000373144', 'StartDate': '06/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Wisconsin-Madison', 'CityName': 'MADISON', 'ZipCode': '537151218', 'PhoneNumber': '6082623822', 'StreetAddress': '21 North Park Street', 'StreetAddress2': 'Suite 6301', 'CountryName': 'United States', 'StateName': 'Wisconsin', 'StateCode': 'WI', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'WI02', 'ORG_DUNS_NUM': '161202122', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF WISCONSIN SYSTEM', 'ORG_PRNT_DUNS_NUM': '041188822'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '6855', 'Text': 'INFORMATION & KNOWLEDGE MANAGE'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8804319.xml'}