Generating Efficient Database Systems from Formal           Specifications
{'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}
In order to improve the technology of implementing database                     systems, a mechanical reasoning capability needed to help                       database systems implementers achieve high efficiency in advanced               database systems is developed.  Mechanical reasoners are to be                  used by implementation designers as they map high level database                system specifications, in the ADABTPL specification language,                   into implementation systems such as the University of Wisconsin's               EXODUS.  The project involves the definition of a formal data                   transformation language for specifying the semantics of data                    structures in terms of high level concepts, developing heuristic                methods useful to a database implementation designer transforming               specifications into implementations, and devising techniques for                supplying details missing in incomplete internal schemas.                       Systems that will benefit from the new technology include design,               graphics, control and knowledge based systems.
{'FirstName': 'David', 'LastName': 'Stemple', 'PI_MID_INIT': 'W', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'David W Stemple', 'EmailAddress': 'stemple@cs.umass.edu', 'NSF_ID': '000248335', 'StartDate': '08/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Massachusetts Amherst', 'CityName': 'AMHERST', 'ZipCode': '010039252', 'PhoneNumber': '4135450698', 'StreetAddress': '101 COMMONWEALTH AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Massachusetts', 'StateCode': 'MA', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'MA02', 'ORG_UEI_NUM': 'VGJHK59NMPK9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF MASSACHUSETTS', 'ORG_PRNT_UEI_NUM': 'VGJHK59NMPK9'}
{'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'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8822181.xml'}