EDBT 2026 Demo / reviewers in the wild / expert
Petr Nálevka
dblp:68/3192
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 87% Requirements engineering and software design · 13% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
schema validation |
0.1 | 1 | 2006 | Relaxed: on the way towards true validation of compound documents · WWW 2006 |
Program analysis
static analysis |
0.1 | 1 | 2006 | Relaxed: on the way towards true validation of compound documents · WWW 2006 |
Requirements engineering and software design
model-driven engineering |
0.0 | 1 | 2006 | Relaxed: on the way towards true validation of compound documents · WWW 2006 |
Methods — techniques the papers use, named apart from their topics
schematron · 0.1RELAX NG · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Relaxed: on the way towards true validation of compound documentsabstractTo maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions both in specification prose and in a formalized way utilizing DTD. Unfortunately DTD is a very limited schema language and can not express many constraints that are specified in the free text parts of the specification. This means that a page which validates against DTD is not necessarily conforming to the specification. In this article we analyze features of modern schema languages that can improve validation of Web pages by covering more (X)HTML language constraints then DTD. Our schemas use combination of RELAX NG and Schematron to check not only the structure of the Web pages, but also datatypes of attributes and elements, more complex relations between elements and some WCAG checkpoints. A modular approach for schema composition is presented together with usage examples, including sample schemas for various compound documents (e.g. XHTML combined with MathML and SVG).The second part of this article contains description of Relaxed validator application we have developed. Relaxed is an extensible and powerful validation engine offering a convenient Web interface, a Web-service API, Java API and command-line interface. Combined with our RELAX NG + Schematron schemas, Relaxed offers very valuable validation results that surpass W3C validator in many aspects. Jirka Kosek, Petr Nálevka |
WWW | 2 |