Mannila, Heikki

name

• Mannila, Heikki

Authored works

• A fast algorithm for renaming a set of clauses as a horn set
• A note on ([lambda, mu])*-compactness
• A simple linear-time algorithm for in situ merging
• A simple proof of the rectilinear art gallery theorem
• Algorithms for inferring functional dependencies
• Automatic generation of test data for relational queries
• Generating Armstrong databases for sets of functional and inclusion dependencies
• Generating example databases from ER-schemes
• Incremental design of relational databases : chapters 1-5
• Instance complexity for sorting and NP-complete problems
• On the relationship of minimum and optimum covers for a set of functional dependencies
• Restricted compactness notions in abstract logic and topology
• The set union problem with backtracking
• Time parameter and arbitrary deunions in the set union problem
• Unifications, deunifications, and their complexity
• Using feedback in logical design of relational databases

Works contributed to

• Derivation of efficient marking algorithms for acyclic lists
• Helsinki Institute for Information Technology HIIT : annual report 2005
• Informaatiojärjestelmät : luentomateriaalia : Osa 1, Syksy 1995
• Informaatiojärjestelmät-kurssin luentomateriaalia : Osa 1
• Machine Learning : ECML 2002 : 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002 : proceedings
• Mitä yliopistojen kansainvälistyminen merkitsee kotimaisten kielten asemalle ja kehitykselle?
• On approximation preserving reductions : complete problems and robust measures
• Ordered and unordered tree inclusion
• Principles of Data Mining and Knowledge Discovery : 6th European Conference, PKDD 2002 : Helsinki, Finland, August 19-23, 2002 : proceedings
• Recognizing renamable generalized propositional Horn formulas is NP-complete
• Yliopistojen ja tutkimuslaitosten rakenteellinen kehittäminen

Works about Mannila, Heikki

• Kutsu kuulemaan sitä julkista esitelmää jonka Helsingin yliopiston tietojenkäsittelyopin, erityisesti informaatiojärjestelmien professori Heikki Olavi Mannila pitää astuessaan virkaansa 27. päivänä syyskuuta 1989