{"id":"https://openalex.org/W1574768436","doi":"https://doi.org/10.1007/3-540-60608-4_31","title":"Design of active rule applications: Issues and approaches","display_name":"Design of active rule applications: Issues and approaches","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1574768436","doi":"https://doi.org/10.1007/3-540-60608-4_31","mag":"1574768436"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60608-4_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"book-chapter","type_crossref":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048332811","display_name":"Stefano Ceri","orcid":"https://orcid.org/0000-0003-0671-2415"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Ceri","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001695309","display_name":"Elena Baralis","orcid":"https://orcid.org/0000-0001-9231-467X"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Elena Baralis","raw_affiliation_strings":["Polit\u00e9cnico di Torino"],"affiliations":[{"raw_affiliation_string":"Polit\u00e9cnico di Torino","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024296934","display_name":"Piero Fraternali","orcid":"https://orcid.org/0000-0002-6945-2625"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Piero Fraternali","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026292704","display_name":"Stefano Paraboschi","orcid":"https://orcid.org/0000-0003-0399-1738"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Paraboschi","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione Politecnico di Milano-Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"apc_paid":null,"fwci":1.939,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.672235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":75},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Data Stream Management Systems and Techniques","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Data Stream Management Systems and Techniques","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9936,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modular-programming","display_name":"Modular programming","score":0.5559822},{"id":"https://openalex.org/keywords/active-database","display_name":"Active database","score":0.5127838},{"id":"https://openalex.org/keywords/complex-event-processing","display_name":"Complex Event Processing","score":0.472616}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8492918},{"id":"https://openalex.org/C88482812","wikidata":"https://www.wikidata.org/wiki/Q6453666","display_name":"Modular programming","level":2,"score":0.5559822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.52314556},{"id":"https://openalex.org/C2778744189","wikidata":"https://www.wikidata.org/wiki/Q4677551","display_name":"Active database","level":2,"score":0.5127838},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4653647},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45248514},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4036582},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3485254},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15941474},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60608-4_31","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W1492626646","https://openalex.org/W1496528554","https://openalex.org/W1529543011","https://openalex.org/W1537432317","https://openalex.org/W1550995397","https://openalex.org/W1561948638","https://openalex.org/W1597227583","https://openalex.org/W1597256589","https://openalex.org/W1924552249","https://openalex.org/W1956500968","https://openalex.org/W2026024665","https://openalex.org/W2088552404","https://openalex.org/W2094867116","https://openalex.org/W2099293367","https://openalex.org/W2099529102","https://openalex.org/W2119295867","https://openalex.org/W2144192824","https://openalex.org/W2170551989","https://openalex.org/W2245803607","https://openalex.org/W2945526390","https://openalex.org/W2986348978","https://openalex.org/W67142770"],"related_works":["https://openalex.org/W3038096277","https://openalex.org/W2393702438","https://openalex.org/W2391644119","https://openalex.org/W2372613066","https://openalex.org/W2368574244","https://openalex.org/W2164104454","https://openalex.org/W2095911326","https://openalex.org/W2071184081","https://openalex.org/W2060456459","https://openalex.org/W1490284893"],"abstract_inverted_index":{"The":[0,44],"use":[1,38],"of":[2,14,34,57,106,127,170,176],"objects":[3],"and":[4,28,41,49,120,140,146],"rules":[5,51,78,134],"in":[6,82,109,124,153],"modern":[7],"database":[8,35],"systems":[9],"is":[10,97],"the":[11,15,23,32,55,61,102,107,110,125,128,168,174],"main":[12,103],"focus":[13],"IDEA":[16,24,45,111,129],"Esprit":[17],"Project.":[18],"In":[19],"particular,":[20],"it":[21],"inspires":[22],"Methodology,":[25],"a":[26,66,72],"comprehensive":[27],"systematic":[29],"approach":[30],"to":[31,138,157],"design":[33],"applications":[36],"which":[37,148,182],"both":[39],"deductive":[40,48],"active":[42,50,77,100,116,133],"rules.":[43],"Methodology":[46],"reconciles":[47],"by":[52],"assigning":[53],"them":[54],"role":[56],"expressing":[58],"knowledge":[59],"about":[60],"application":[62],"domain,":[63],"either":[64],"with":[65,71,155],"purely":[67],"declarative":[68,93],"style,":[69],"or":[70,89],"more":[73],"procedural":[74],"style.":[75],"Although":[76],"are":[79,135],"inherently":[80],"procedural,":[81],"many":[83],"cases":[84],"they":[85],"can":[86],"be":[87],"automatically":[88],"semi-automatically":[90],"generated":[91],"from":[92],"specifications.":[94],"This":[95],"paper":[96],"focused":[98],"on":[99,115],"rules,":[101],"research":[104],"interest":[105],"Politecnico":[108],"project.":[112],"We":[113,164],"concentrate":[114],"rule":[117,178],"analysis,":[118],"design,":[119],"prototyping":[121],"as":[122,162],"developed":[123],"context":[126],"Methodology.":[130],"Given":[131],"that":[132,172],"quite":[136],"complex":[137,177],"understand":[139],"manage,":[141],"we":[142],"present":[143],"several":[144],"abstractions":[145],"techniques":[147],"enable":[149],"their":[150],"safe":[151],"specification,":[152],"particular":[154],"respect":[156],"collective":[158],"desired":[159],"properties":[160],"(such":[161],"termination).":[163],"also":[165],"informally":[166],"introduce":[167],"notion":[169],"modularization,":[171],"enables":[173],"partitioning":[175],"sets":[179],"into":[180],"modules":[181],"exhibit":[183],"nice":[184],"interaction":[185],"properties.":[186]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1574768436","counts_by_year":[],"updated_date":"2024-11-22T17:24:33.238898","created_date":"2016-06-24"}
