Výsledky vyhľadávania - "Logical Design—Data Models General Terms Algorithms"

Efficient reasoning about data trees via integer linear programming

Autori: Claire David Leonid Libkin Tony Tan a ďalší

Prispievatelia: Claire David Leonid Libkin Tony Tan a ďalší

Zdroj: http://hal-enpc.archives-ouvertes.fr/docs/00/72/06/72/PDF/icdt11.pdf.

Predmety: Categories and Subject Descriptors F.1.1 [Computation by Abstract Devices, Models of Computation—Automata, F.4.1 [Mathematical logic and formal languages, Mathematical logic, G.1.6 [Numerical Analysis, Optimization—Integer programming, H.2.1 [Database Management, Logical Design—Data Models General Terms Algorithms, Theory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9492

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9492
http://hal-enpc.archives-ouvertes.fr/docs/00/72/06/72/PDF/icdt11.pdf

Querying Regular Graph Patterns.

Autori: BARCELÓ, PABLO LIBKIN, LEONID REUTTER, JUAN L.

Zdroj: Journal of the ACM; Jan2014, Vol. 61 Issue 1, p8-54, 54p

Predmety: QUERYING (Computer science), DATABASE searching, SEARCH algorithms, CHARTS, diagrams, etc., GRAPHIC methods

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jan1982, Vol. 25 Issue 1, p69-72, 4p

Predmety: PERIODICALS, COMPUTER programming, INFORMATION technology, ALGORITHMS

Efficient Reasoning about Data Trees via Integer Linear Programming.

Autori: David, Claire Libkin, Leonid Tan, Tony

Zdroj: ACM Transactions on Database Systems; Aug2012, Vol. 37 Issue 3, p19:1-28, 28p, 4 Charts

Predmety: DATA integration, LINEAR programming, XML (Extensible Markup Language), COMPUTER programming, MACHINE theory